The proof by cases property and its variants in structural consequence relations

DOI10.1007/S11225-013-9496-1MaRDI QIDQ368486zbMATH OpenOpenAlexFDO

Authors Petr Cintula, Carles Noguera

Publication date 23 September 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-013-9496-1

zbMATH Keywords

consequence relationsabstract algebraic logicfilter-distributive logicsproof by cases propertiesprotodisjunction, abstract algebraic logic

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Recommendations

• Logics with disjunction and proof by cases
• An algebraic approach to the disjunction property of substructural logics
• Disjunction property and complexity of substructural logics
• Disjunctive and conjunctive multiple-conclusion consequence relations
• A Generalization of Maksimova’s Criterion for the Disjunction Property

Cites work

• scientific article; zbMATH DE number 3833960 (Why is no real title available?)
• scientific article; zbMATH DE number 3652338 (Why is no real title available?)
• scientific article; zbMATH DE number 67022 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• scientific article; zbMATH DE number 2196609 (Why is no real title available?)
• A propositional calculus with denumerable matrix
• A survey of abstract algebraic logic
• Algebraic logic for classical conjunction and disjunction
• Algebraizable logics
• Equational bases for joins of residuated-lattice varieties
• Implicational (semilinear) logics. I: A new hierarchy
• Leibniz filters and the strong version of a protoalgebraic logic
• Local deductions theorems
• Logics with disjunction and proof by cases
• Matrices, primitive satisfaction and finitely based logics
• Metamathematics of fuzzy logic
• Proof of the independence of the primitive symbols of Heyting's calculus of propositions
• Proper semantics for substructural logics, from a stalker theoretic point of view
• Protoalgebraic logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Selfextensional logics with a conjunction
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Update to ``A survey of abstract algebraic logic

Cited in

(23)

• De Morgan clones and four-valued logics
• Logics of upsets of De Morgan lattices
• A study of truth predicates in matrix semantics
• Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
• Implicational (semilinear) logics. III: Completeness properties
• Algebraic proof theory: hypersequents and hypercompletions
• An algebraic view of super-Belnap logics
• A note on natural extensions in abstract algebraic logic
• Extension properties and subdirect representation in abstract algebraic logic
• A Henkin-style proof of completeness for first-order algebraizable logics
• Deductive systems with multiple-conclusion rules and the disjunction property
• A general Glivenko-Gödel theorem for nuclei
• THE LATTICE OF SUPER-BELNAP LOGICS
• Strong standard completeness for continuous t-norms
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Hypersequent rules with restricted contexts for propositional modal logics
• The algebraic significance of weak excluded middle laws
• On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
• Eliminating disjunctions by disjunction elimination
• Selfextensional logics with a distributive nearlattice term
• Logics with disjunction and proof by cases
• A Generalization of Maksimova’s Criterion for the Disjunction Property
• A new hierarchy of infinitary logics in abstract algebraic logic

This page was built for publication: The proof by cases property and its variants in structural consequence relations

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