Vol. 37(51), pp. 715 (1985) 

Semantics for some intermediate logicsMilan Bo\v zi\'cMatemati\v cki fakultet, Beograd, YugoslaviaAbstract: 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
