Structural completeness in relevance logics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 67021 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3557785 (Why is no real title available?)
- A category equivalence for odd Sugihara monoids and its applications
- A survey of abstract algebraic logic
- Admissibility of logical inference rules
- Admissible rules and the Leibniz hierarchy
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Algebraizable logics
- Almost structural completeness; an algebraic approach
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Conserving involution in residuated structures
- E, R AND γ
- Idempotent residuated structures: Some category equivalences and their applications
- Note on algebraic models for relevance logic
- Positive Sugihara monoids
- Protoalgebraic logics
- Residuated lattices. An algebraic glimpse at substructural logics
- Structural Completeness in Substructural Logics
- Structural completeness in fuzzy logics
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
- There exist exactly two maximal strictly relevant extensions of the relevant logic R
Cited in
(18)- A structurally complete fragment of relevant logic
- Implicational relevance logic is 2-\textsc{ExpTime}-complete
- Singly generated quasivarieties and residuated structures
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Structural completeness in fuzzy logics
- On purely relevant logics
- Tarskian Structured Consequence Relations and Functional Completeness
- scientific article; zbMATH DE number 3557785 (Why is no real title available?)
- Sentential constants in R and \(R^{\neg}\)
- scientific article; zbMATH DE number 4160165 (Why is no real title available?)
- Sets as singularities in the intensional universe
- Relation algebras and \(\mathbf{R}\)
- Structural completeness in many-valued logics with rational constants
- The strong version of a sentential logic
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- Whither relevance logic?
- Identity in Mares-Goldblatt models for quantified relevant logic
- Structural Completeness in Substructural Logics
This page was built for publication: Structural completeness in relevance logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q295911)
