Logics with disjunction and proof by cases
From MaRDI portal
Publication:938238
DOI10.1007/s00153-008-0088-0zbMath1147.03005OpenAlexW2010858955WikidataQ59306565 ScholiaQ59306565MaRDI QIDQ938238
Publication date: 18 August 2008
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-008-0088-0
consequence relationintersections of logicslogics with disjunctionproof by cases propertyweakly implicative fuzzy logicsweakly implicative logics
Fuzzy logic; logic of vagueness (03B52) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)
Related Items (11)
Prelinear algebras in relatively regular quasivarieties ⋮ Weakening-free fuzzy logics with the connective \(\Delta\) ⋮ The proof by cases property and its variants in structural consequence relations ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ The logic of the strongest and the weakest t-norms ⋮ Eliminating disjunctions by disjunction elimination ⋮ Corrigendum to ``The logic of the strongest and the weakest t-norms ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Uninorm logic with the \(n\)-potency axiom ⋮ Archimedean classes in integral commutative residuated chains ⋮ The finite model property for semilinear substructural logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Product Łukasiewicz logic
- Selfextensional logics with a conjunction
- Disjunctive elimination rule and its application in MTL
- An algebraic approach to non-classical logics
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A survey of abstract algebraic logic
- Equational bases for joins of residuated-lattice varieties
- Fuzzy logics as the logics of chains
- Weakly implicative (fuzzy) logics. I: Basic properties
- Protoalgebraic logics
This page was built for publication: Logics with disjunction and proof by cases
