The proof by cases property and its variants in structural consequence relations
From MaRDI portal
Publication:368486
DOI10.1007/s11225-013-9496-1zbMath1316.03040MaRDI QIDQ368486
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
abstract algebraic logic; consequence relations; filter-distributive logics; proof by cases properties; protodisjunction, abstract algebraic logic
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