Skip to the main content

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

Original scientific paper

The interpretability logic ILF

M. Vuković

Full text: english pdf 161 Kb

page 205-210

downloads: 685

cite

Abstract

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.

Keywords

interpretability logic; generalized Veltman semantic

Hrčak ID:

1770

URI

https://hrcak.srce.hr/1770

Publication date:

20.12.1998.

Visits: 1.362 *