Implicational (semilinear) logics. I: A new hierarchy
From MaRDI portal
Publication:971883
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
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 945663 (Why is no real title available?)
- scientific article; zbMATH DE number 859792 (Why is no real title available?)
- A complete many-valued logic with product-conjunction
- A propositional calculus with denumerable matrix
- A survey of abstract algebraic logic
- Adding involution to residuated structures
- Algebraizable logics
- An algebraic approach to non-classical logics
- Fuzzy logics as the logics of chains
- Implicational (semilinear) logics. I: A new hierarchy
- Logics preserving degrees of truth from varieties of residuated lattices
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On the structure of rotation-invariant semigroups
- On theories and models in fuzzy predicate logics
- Positive Sugihara monoids
- Protoalgebraic logics
- Residuated lattices. An algebraic glimpse at substructural logics
- Selfextensional logics with a conjunction
- Substructural fuzzy logics
- Weakly implicative (fuzzy) logics. I: Basic properties
Cited in
(32)- Twist-structures semantics for the logics of the hierarchy \(I^nP^k\)
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics
- Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics
- Triangular norm based predicate fuzzy logics
- Consequence and degrees of truth in many-valued logic
- Implicational (semilinear) logics. I: A new hierarchy
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- Extending fuzzy logics with many hedges
- An algebraic glimpse at bunched implications and separation logic
- scientific article; zbMATH DE number 5181720 (Why is no real title available?)
- On an axiomatic system for the logic of linearly ordered BCI-matrices
- Weakening-free fuzzy logics with the connective \(\Delta\)
- Esakia style duality for implicative semilattices
- Algebraizable logics with a strong conjunction and their semi-lattice based companions
- Extension properties and subdirect representation in abstract algebraic logic
- New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
- Fuzzy sets and formal logics
- A proof of the standard completeness for the involutive uninorm logic
- Neighborhood semantics for modal many-valued logics
- Implicational (semilinear) logics. III: Completeness properties
- The finite model property for semilinear substructural logics
- Implicational tonoid logics: algebraic and relational semantics
- A note on natural extensions in abstract algebraic logic
- A note on saturated models for many-valued logics
- Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
- A new hierarchy of infinitary logics in abstract algebraic logic
- Strict core fuzzy logics and quasi-witnessed models
- The proof by cases property and its variants in structural consequence relations
- Abstract algebraic logic. An introductory chapter
- scientific article; zbMATH DE number 7547163 (Why is no real title available?)
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)
