Superintuitionistic logics and the projective beth property

1999 ◽  
Vol 38 (6) ◽  
pp. 374-382 ◽  
Author(s):  
L. L. Maksimova
Keyword(s):  
Superintuitionistic Logics ◽  
Projective Beth Property ◽  
Beth Property

Interpolation and the projective Beth property in well-composed logics

2012 ◽  
Vol 51 (2) ◽  
pp. 163-184 ◽  
Author(s):  
L. L. Maksimova
Keyword(s):  
Projective Beth Property ◽  
Beth Property

The projective Beth property in well-composed logics

2013 ◽  
Vol 52 (2) ◽  
pp. 116-136 ◽  
Author(s):  
L. L. Maksimova
Keyword(s):  
Projective Beth Property ◽  
Beth Property

Projective Beth Property in Extensions of Grzegorczyk Logic

Studia Logica ◽  
2006 ◽  
Vol 83 (1-3) ◽  
pp. 365-391 ◽  
Author(s):  
Larisa Maksimova
Keyword(s):  
Projective Beth Property ◽  
Grzegorczyk Logic ◽  
Beth Property

The Projective Beth Property and Interpolation in Positive and Related Logics

2006 ◽  
Vol 45 (1) ◽  
pp. 49-66 ◽  
Author(s):  
L. L. Maksimova
Keyword(s):  
Projective Beth Property ◽  
Beth Property

Restricted Interpolation and the Projective Beth Property in Equational Logic

2003 ◽  
Vol 42 (6) ◽  
pp. 398-406 ◽  
Author(s):  
L. L. Maksimova
Keyword(s):  
Equational Logic ◽  
Projective Beth Property ◽  
Beth Property

Canonical rules

2009 ◽  
Vol 74 (4) ◽  
pp. 1171-1205 ◽  
Author(s):  
Emil Jeřábek
Keyword(s):  
Alternative Proof ◽  
Finite Model ◽  
Consequence Relations ◽  
Model Property ◽  
Finite Model Property ◽  
Admissible Rules ◽  
Superintuitionistic Logics ◽  
Canonical Formulas ◽  
Global Consequence

AbstractWe develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a generalization of the Blok–Esakia theorem and the theory of modal companions to systems of multiple-conclusion rules or (unitary structural global) consequence relations, and a characterization of splittings in the lattices of consequence relations over monomodal or superintuitionistic logics with the finite model property.

Restricted interpolation property in superintuitionistic logics

2009 ◽  
Vol 48 (1) ◽  
pp. 33-53
Author(s):  
L. L. Maksimova
Keyword(s):  
Interpolation Property ◽  
Superintuitionistic Logics

ON FINITE APPROXIMABILITY OF SUPERINTUITIONISTIC LOGICS

1977 ◽  
Vol 31 (2) ◽  
pp. 257-268 ◽  
Author(s):  
S K Sobolev
Keyword(s):  
Superintuitionistic Logics ◽  
Finite Approximability

New constants in two pretabular superintuitionistic logics

2011 ◽  
Vol 50 (2) ◽  
pp. 171-186 ◽  
Author(s):  
A. D. Yashin
Keyword(s):  
Superintuitionistic Logics

Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras

1977 ◽  
Vol 16 (6) ◽  
pp. 427-455 ◽  
Author(s):  
L. L. Maksimova
Keyword(s):  
Boolean Algebras ◽  
Superintuitionistic Logics
Sign in / Sign up

Export Citation Format

Share Document