Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
From MaRDI portal
(Redirected from Publication:5402233)
Recommendations
- scientific article; zbMATH DE number 125238
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Canonical extensions and relational completeness of some substructural logics
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics
- Metacompleteness of substructural logics
Cites work
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1406811 (Why is no real title available?)
- A characterization of varieties.
- A non-associative generalization of Hájek's BL-algebras
- A proof of standard completeness for Esteva and Godo's logic MTL
- Algebraizable logics
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Equational bases for joins of residuated-lattice varieties
- Formal systems of fuzzy logic and their fragments
- Fuzzy logics as the logics of chains
- Handbook of mathematical fuzzy logic. Volume 2
- Hoops and Fuzzy Logic
- Implicational (semilinear) logics. I: A new hierarchy
- Linear logic
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Protoalgebraic logics
- Residuated lattices. An algebraic glimpse at substructural logics
- Substructural fuzzy logics
- Substructural logics: a primer
- The Mathematics of Sentence Structure
Cited in
(19)- scientific article; zbMATH DE number 1418443 (Why is no real title available?)
- Semilinear substructural logics with the finite embeddability property
- Weakening-free, non-associative fuzzy logics: micanorm-based logics
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Implicational (semilinear) logics. III: Completeness properties
- Metacompleteness of substructural logics
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Lower semilattice-ordered residuated semigroups and substructural logics
- Axiomatization of non-associative generalisations of Hájek's BL and psBL
- Adjoint negations, more than residuated negations
- The finite embeddability property for residuated groupoids.
- Residuated structures and orthomodular lattices
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics
- Semi-linear varieties of lattice-ordered algebras.
- Fuzzy sets and formal logics
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics
- scientific article; zbMATH DE number 7547163 (Why is no real title available?)
This page was built for publication: Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5402233)
