Implicational (semilinear) logics. I: A new hierarchy
DOI10.1007/S00153-010-0178-7zbMATH Open1196.03013OpenAlexW2084033816MaRDI QIDQ971883FDOQ971883
Publication date: 17 May 2010
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-010-0178-7
Recommendations
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Weakly implicative (fuzzy) logics. I: Basic properties
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- Fuzzy Horn logic. II. Implicationally defined classes.
- scientific article; zbMATH DE number 2042619
abstract algebraic logicmathematical fuzzy logicsemilinear logicshierarchy of implicational logicsimplicative logicsLeibniz hierarchylinearly ordered logical matrices
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Fuzzy logic; logic of vagueness (03B52) Abstract deductive systems (03B22) Abstract algebraic logic (03G27)
Cites Work
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A propositional calculus with denumerable matrix
- Title not available (Why is that?)
- Title not available (Why is that?)
- Substructural fuzzy logics
- Residuated lattices. An algebraic glimpse at substructural logics
- An algebraic approach to non-classical logics
- On the structure of rotation-invariant semigroups
- A survey of abstract algebraic logic
- Adding involution to residuated structures
- Weakly implicative (fuzzy) logics. I: Basic properties
- Algebraizable logics
- Title not available (Why is that?)
- Protoalgebraic logics
- Selfextensional logics with a conjunction
- Implicational (semilinear) logics. I: A new hierarchy
- Positive Sugihara monoids
- Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
- On theories and models in fuzzy predicate logics
- Fuzzy logics as the logics of chains
- A complete many-valued logic with product-conjunction
- Title not available (Why is that?)
Cited In (31)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions
- The finite model property for semilinear substructural logics
- On an axiomatic system for the logic of linearly ordered BCI-matrices
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Implicational (semilinear) logics. III: Completeness properties
- The proof by cases property and its variants in structural consequence relations
- A note on natural extensions in abstract algebraic logic
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics
- Extension properties and subdirect representation in abstract algebraic logic
- Implicational (semilinear) logics. I: A new hierarchy
- Consequence and Degrees of Truth in Many-Valued Logic
- A Note on Saturated Models for Many-Valued Logics
- Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics
- An algebraic glimpse at bunched implications and separation logic
- New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
- Neighborhood semantics for modal many-valued logics
- Triangular norm based predicate fuzzy logics
- Extending fuzzy logics with many hedges
- Weakening-free fuzzy logics with the connective \(\Delta\)
- Strict core fuzzy logics and quasi-witnessed models
- Twist-structures semantics for the logics of the hierarchy \(I^nP^k\)
- Implicational tonoid logics: algebraic and relational semantics
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
- A proof of the standard completeness for the involutive uninorm logic
- Title not available (Why is that?)
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
- Fuzzy sets and formal logics
- Abstract algebraic logic. An introductory chapter
- Esakia style duality for implicative semilattices
- A new hierarchy of infinitary logics in abstract algebraic logic
- Title not available (Why is that?)
This page was built for publication: Implicational (semilinear) logics. I: A new hierarchy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q971883)
