Categories of models of \(\mathbf{R}\)-mingle
From MaRDI portal
Publication:2311212
DOI10.1016/j.apal.2019.05.003OpenAlexW2760950178WikidataQ127850727 ScholiaQ127850727MaRDI QIDQ2311212
Nikolaos Galatos, Wesley Fussner
Publication date: 10 July 2019
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1710.04256
Fuzzy logic; logic of vagueness (03B52) Logics of knowledge and belief (including belief change) (03B42) Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (8)
Complemented MacNeille completions and algebras of fractions ⋮ Skew metrics valued in Sugihara semigroups ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Sugihara algebras and Sugihara monoids: Multisorted dualities ⋮ Sugihara algebras: admissibility algebras via the test spaces method ⋮ A topological approach to MTL-algebras ⋮ Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\) ⋮ Poset products as relational models
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Gödel algebras: interactive dualities and their applications.
- Residuated lattices. An algebraic glimpse at substructural logics
- Constructive negations and paraconsistency
- Positive Sugihara monoids
- The semantics of entailment. II
- The semantics of entailment. III
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- On extensions of intermediate logics by strong negation
- On the lattice of quasivarieties of Sugihara algebras
- On the representation of \(\mathbf{N4}\)-lattices
- Duality for algebras of relevant logics
- A category equivalence for odd Sugihara monoids and its applications
- An algebraic approach to subframe logics. Intuitionistic case
- Minimal varieties of involutive residuated lattices
- Representable idempotent commutative residuated lattices
- Algebraizable logics
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Algebraic Semantics for Paraconsistent Nelson's Logic
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Dualities for modal N4-lattices
- Idempotent residuated structures: Some category equivalences and their applications
- Substructural fuzzy logics
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Lattices With Involution
This page was built for publication: Categories of models of \(\mathbf{R}\)-mingle
