Skoči na glavni sadržaj

Mathematical Communications, Vol. 3 No. 2, 1998.

Izvorni znanstveni članak

The interpretability logic ILF

M. Vuković

Puni tekst: engleski pdf 161 Kb

str. 205-210

preuzimanja: 586

citiraj

Sažetak

In this paper we determine a characteristic class of IL_{set} frames for the principle F. Then we prove that the principle P is not provable in the system ILF. We use a generalized Veltman model.

Ključne riječi

interpretability logic; generalized Veltman semantic

Hrčak ID:

1770

URI

https://hrcak.srce.hr/1770

Datum izdavanja:

20.12.1998.

Posjeta: 1.037 *