Implicational (semilinear) logics. I: A new hierarchy

DOI10.1007/s00153-010-0178-7zbMath1196.03013OpenAlexW2084033816MaRDI QIDQ971883

Petr Cintula, Carles Noguera

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

zbMATH Keywords

abstract algebraic logicmathematical fuzzy logicsemilinear logicshierarchy of implicational logicsimplicative logicsLeibniz hierarchylinearly ordered logical matrices

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Related Items

A new hierarchy of infinitary logics in abstract algebraic logic ⋮ Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity ⋮ A Note on Saturated Models for Many-Valued Logics ⋮ Weakening-free fuzzy logics with the connective \(\Delta\) ⋮ The proof by cases property and its variants in structural consequence relations ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ On an axiomatic system for the logic of linearly ordered BCI-matrices ⋮ Abstract algebraic logic. An introductory chapter ⋮ Birkhoff's and Mal'cev's theorems for implicational tonoid logics ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Strict core fuzzy logics and quasi-witnessed models ⋮ A note on natural extensions in abstract algebraic logic ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Extension properties and subdirect representation in abstract algebraic logic ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ Fuzzy sets and formal logics ⋮ Triangular norm based predicate fuzzy logics ⋮ Unnamed Item ⋮ Neighborhood semantics for modal many-valued logics ⋮ Extending fuzzy logics with many hedges ⋮ Implicational tonoid logics: algebraic and relational semantics ⋮ The finite model property for semilinear substructural logics ⋮ Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics ⋮ A proof of the standard completeness for the involutive uninorm logic

Cites Work

• Selfextensional logics with a conjunction
• Residuated lattices. An algebraic glimpse at substructural logics
• Implicational (semilinear) logics. I: A new hierarchy
• Positive Sugihara monoids
• An algebraic approach to non-classical logics
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the structure of rotation-invariant semigroups
• A survey of abstract algebraic logic
• Adding involution to residuated structures
• A complete many-valued logic with product-conjunction
• Fuzzy logics as the logics of chains
• Weakly implicative (fuzzy) logics. I: Basic properties
• A propositional calculus with denumerable matrix
• On theories and models in fuzzy predicate logics
• Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
• Algebraizable logics
• Substructural fuzzy logics
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item