A Generalization of Maksimova’s Criterion for the Disjunction Property

DOI10.1007/978-3-319-69917-2_6MaRDI QIDQ5214734zbMATH OpenOpenAlexFDO

Authors 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

algebraizable logicsdisjunction propertyintermediate logicsequational logicequationally definable principal meets

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• A generalisation of Schaefer's bijunctivity criterion
• On theories with the general disjunction property
• A simultaneous generalization of independence and disjointness in Boolean algebras
• On maximal intermediate logics with the disjunction property
• Some properties of conjunctivity (subfitness) in generalized settings
• Generalized disconjugacy and comparison theorems
• A method to single out maximal propositional logics with the disjunction property. II
• An infinite class of maximal intermediate propositional logics with the disjunction property
• Publication:4866818
• scientific article; zbMATH DE number 2154091

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3920436 (Why is no real title available?)
• scientific article; zbMATH DE number 3950473 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3625386 (Why is no real title available?)
• scientific article; zbMATH DE number 1340130 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 5268066 (Why is no real title available?)
• scientific article; zbMATH DE number 3074853 (Why is no real title available?)
• A finite basis theorem for quasivarieties
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• Algebras Whose Congruence Lattices are Distributive.
• Compatible operations on residuated lattices
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Counting the maximal intermediate constructive logics
• Disjunction property and complexity of substructural logics
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Logic KM: A Biography
• Matrices, primitive satisfaction and finitely based logics
• On maximal intermediate logics with the disjunction property
• Protoalgebraic logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Some theorems about the sentential calculi of Lewis and Heyting
• The connectives
• The proof by cases property and its variants in structural consequence relations
• The undecidability of the disjunction property of propositional logics and other related problems
• Untersuchungen über das logische Schliessen. II

Cited in

(4)

• On theories with the general disjunction property
• Deductive systems with multiple-conclusion rules and the disjunction property
• Some properties of conjunctivity (subfitness) in generalized settings
• The proof by cases property and its variants in structural consequence relations

This page was built for publication: A Generalization of Maksimova’s Criterion for the Disjunction Property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5214734)