EMIS ELibM Electronic Journals
Vol. 37(51), pp. 7--15 (1985)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home



Semantics for some intermediate logics

Milan Bo\v zi\'c

Matemati\v cki fakultet, Beograd, Yugoslavia

Abstract: We give semantics for intermediate logics of the form $H+\vee S$, where $\vee S$ is the schema $$ \underset{(i,j)\in S}\to\vee(A_i\to A_j) $$ and $S$ is a nonempty subset of $\{1,\ldots,n\}^2$. It is proved that such a logic is complete with respect to the class of Kripke frames $(X,R)$ which satisfy the universal closure of the formula $$\underset{(i,j),(k,i)\in S}\to\vee x_{ij}Rx_{ki} $$

Classification (MSC2000): 03B55

Full text of the article:

Electronic fulltext finalized on: 2 Nov 2001. This page was last modified: 16 Nov 2001.

© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
© 2001 ELibM for the EMIS Electronic Edition