A Generalization of Maksimova’s Criterion for the Disjunction Property

DOI10.1007/978-3-319-69917-2_6zbMATH Open1429.03111OpenAlexW2792105346MaRDI QIDQ5214734FDOQ5214734

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

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

zbMATH Keywords

algebraizable logicsdisjunction propertyintermediate logicsequational logicequationally definable principal meets

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

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

Cited In (4)

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

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)