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

DOI10.1007/s11225-013-9496-1zbMath1316.03040MaRDI 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 logic; consequence relations; filter-distributive logics; proof by cases properties; protodisjunction, abstract algebraic logic

Mathematics Subject Classification ID

03G27: Abstract algebraic logic

Related Items

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

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