NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES

DOI10.1017/S1755020313000099zbMath1335.03023MaRDI QIDQ5402233

Carles Noguera, Rostislav Horčík, Petr Cintula

Publication date: 6 March 2014

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (12)

Adjoint negations, more than residuated negations ⋮ Weakening-free, non-associative fuzzy logics: micanorm-based logics ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ Involutive basic substructural core fuzzy logics: involutive mianorm-based logics ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Basic substructural core fuzzy logics and their extensions: mianorm-based logics ⋮ Fuzzy sets and formal logics ⋮ Unnamed Item ⋮ The finite embeddability property for residuated groupoids. ⋮ Axiomatization of non-associative generalisations of Hájek's BL and psBL ⋮ Residuated structures and orthomodular lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A non-associative generalization of Hájek's BL-algebras
• Linear logic
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Residuated lattices. An algebraic glimpse at substructural logics
• Implicational (semilinear) logics. I: A new hierarchy
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Substructural logics: a primer
• A proof of standard completeness for Esteva and Godo's logic MTL
• A characterization of varieties.
• Equational bases for joins of residuated-lattice varieties
• Formal systems of fuzzy logic and their fragments
• Fuzzy logics as the logics of chains
• The Mathematics of Sentence Structure
• Algebraizable logics
• Hoops and Fuzzy Logic
• Substructural fuzzy logics
• Protoalgebraic logics

This page was built for publication: NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES