A Generalization of Maksimova’s Criterion for the Disjunction Property

DOI10.1007/978-3-319-69917-2_6zbMath1429.03111OpenAlexW2792105346MaRDI QIDQ5214734

Alex Citkin

Publication date: 5 February 2020

Published in: Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-69917-2_6

zbMATH Keywords

equational logicalgebraizable logicsdisjunction propertyintermediate logicsequationally definable principal meets

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The proof by cases property and its variants in structural consequence relations
• Disjunction property and complexity of substructural logics
• Compatible operations on residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• A finite basis theorem for quasivarieties
• Matrices, primitive satisfaction and finitely based logics
• On maximal intermediate logics with the disjunction property
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Untersuchungen über das logische Schliessen. II
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• The undecidability of the disjunction property of propositional logics and other related problems
• Counting the maximal intermediate constructive logics
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• Logic KM: A Biography
• Algebras Whose Congruence Lattices are Distributive.
• Some theorems about the sentential calculi of Lewis and Heyting
• Protoalgebraic logics