An algebraic approach to the disjunction property of substructural logics
From MaRDI portal
Publication:2425350
DOI10.1305/NDJFL/1193667706zbMATH Open1137.03012OpenAlexW2076906261MaRDI QIDQ2425350FDOQ2425350
Publication date: 29 April 2008
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1193667706
Recommendations
- Disjunction property and complexity of substructural logics
- Publication:3474636
- Relational Methods in Computer Science
- scientific article; zbMATH DE number 7644094
- Algebraic proof theory for substructural logics: cut-elimination and completions
- An algebraic approach to subframe logics. Intuitionistic case
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Theorems of Alternatives for Substructural Logics
- scientific article; zbMATH DE number 1907195
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25)
Cited In (12)
- An algebraic approach to subframe logics. Modal case
- Algebraic characterizations of variable separation properties
- Disjunction property and complexity of substructural logics
- Metacompleteness of substructural logics
- Conuclear images of substructural logics
- Extension properties and subdirect representation in abstract algebraic logic
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Fuzzy logics from substructural perspective
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
- Variable Sharing in Substructural Logics: an Algebraic Characterization
- Algebraic proof theory for LE-logics
- Relational Methods in Computer Science
This page was built for publication: An algebraic approach to the disjunction property of substructural logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2425350)
