Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
From MaRDI portal
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
- 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
- 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?)
- 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
(27)- Adjoint negations, more than residuated negations
- Weakening-free, non-associative fuzzy logics: micanorm-based logics
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics
- Implicational (semilinear) logics. III: Completeness properties
- Metacompleteness of substructural logics
- Semilinear substructural logics with the finite embeddability property
- Fuzzy sets and formal logics
- Residuated structures and orthomodular lattices
- Lower semilattice-ordered residuated semigroups and substructural logics
- The finite embeddability property for residuated groupoids.
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Semi-linear varieties of lattice-ordered algebras.
- scientific article; zbMATH DE number 1418443 (Why is no real title available?)
- Theorems of Alternatives for Substructural Logics
- scientific article; zbMATH DE number 7547163 (Why is no real title available?)
- Axiomatization of non-associative generalisations of Hájek's BL and psBL
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics
- Basic semilinear logics based on \([0,u]\)-continuous uwa-uninorms
- New foundations of reasoning via real-valued first-order logics
- Implicational tonoids and their representations
- Weak associative micanorm-based logics: \([0, e]\)-continuous \(\nu\)-weak-associative logics
- Is \(\mathbf{MIAL} (=SL^\ell)\) the weakest substructural core fuzzy logic?
- An algebraic proof of completeness for monadic fuzzy predicate logic \(\mathbf{MMTL} \forall\)
- Implicational (dual) residuated semilinear gaggle logics
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)
