The proof by cases property and its variants in structural consequence relations
From MaRDI portal
Publication:368486
DOI10.1007/S11225-013-9496-1zbMATH Open1316.03040OpenAlexW2071472291MaRDI QIDQ368486FDOQ368486
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
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
consequence relationsabstract algebraic logicfilter-distributive logicsproof by cases propertiesprotodisjunction, abstract algebraic logic
Cites Work
- Metamathematics of fuzzy logic
- A propositional calculus with denumerable matrix
- Matrices, primitive satisfaction and finitely based logics
- Residuated lattices. An algebraic glimpse at substructural logics
- A survey of abstract algebraic logic
- Algebraizable logics
- Title not available (Why is that?)
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Protoalgebraic logics
- Selfextensional logics with a conjunction
- Implicational (semilinear) logics. I: A new hierarchy
- Algebraic logic for classical conjunction and disjunction
- Update to ``A survey of abstract algebraic logic
- Local deductions theorems
- Equational bases for joins of residuated-lattice varieties
- Proper semantics for substructural logics, from a stalker theoretic point of view
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proof of the independence of the primitive symbols of Heyting's calculus of propositions
- Leibniz filters and the strong version of a protoalgebraic logic
- Logics with disjunction and proof by cases
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
- A general Glivenko-Gödel theorem for nuclei
- Deductive systems with multiple-conclusion rules and the disjunction property
- THE LATTICE OF SUPER-BELNAP LOGICS
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Strong standard completeness for continuous t-norms
- 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
- A Generalization of Maksimova’s Criterion for the Disjunction Property
- Logics with disjunction and proof by cases
- 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)
