Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
From MaRDI portal
Publication:5402233
DOI10.1017/S1755020313000099zbMATH Open1335.03023MaRDI QIDQ5402233FDOQ5402233
Authors: Rostislav Horčík, Carles Noguera, Petr Cintula 
Publication date: 6 March 2014
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
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
- Substructural logics: a primer
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- A proof of standard completeness for Esteva and Godo's logic MTL
- Substructural fuzzy logics
- Residuated lattices. An algebraic glimpse at substructural logics
- Algebraizable logics
- Protoalgebraic logics
- Implicational (semilinear) logics. I: A new hierarchy
- Handbook of mathematical fuzzy logic. Volume 2
- The Mathematics of Sentence Structure
- Hoops and Fuzzy Logic
- Formal systems of fuzzy logic and their fragments
- Equational bases for joins of residuated-lattice varieties
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Fuzzy logics as the logics of chains
- A non-associative generalization of Hájek's BL-algebras
- A characterization of varieties.
Cited In (19)
- Semilinear substructural logics with the finite embeddability property
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- Weakening-free, non-associative fuzzy logics: micanorm-based logics
- 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
- Axiomatization of non-associative generalisations of Hájek's BL and psBL
- Lower semilattice-ordered residuated semigroups and substructural logics
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Basic substructural core fuzzy logics and their extensions: mianorm-based 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)
