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

DOI10.1007/s11225-013-9496-1zbMath1316.03040OpenAlexW2071472291MaRDI QIDQ368486

Carles Noguera, Petr Cintula

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

abstract algebraic logicconsequence relationsfilter-distributive logicsproof by cases propertiesprotodisjunction, abstract algebraic logic

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Related Items (21)

THE LATTICE OF SUPER-BELNAP LOGICS ⋮ A new hierarchy of infinitary logics in abstract algebraic logic ⋮ Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity ⋮ De Morgan clones and four-valued logics ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ An algebraic view of super-Belnap logics ⋮ Eliminating disjunctions by disjunction elimination ⋮ The algebraic significance of weak excluded middle laws ⋮ Logics of upsets of De Morgan lattices ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ Selfextensional logics with a distributive nearlattice term ⋮ A note on natural extensions in abstract algebraic logic ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Extension properties and subdirect representation in abstract algebraic logic ⋮ Algebraic proof theory: hypersequents and hypercompletions ⋮ Strong standard completeness for continuous t-norms ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ Deductive systems with multiple-conclusion rules and the disjunction property ⋮ A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS

Cites Work

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

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