Categories of models of R-mingle

DOI10.1016/J.APAL.2019.05.003MaRDI QIDQ2311212zbMATH OpenOpenAlexWikidataFDO

Authors Wesley Fussner, Nikolaos Galatos

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

zbMATH Keywords

relational semanticsrelevant logic[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel+algebras&go=Go G��del algebras]Sugihara monoidstwist products

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Logical aspects of lattices and related structures (03G10)

Recommendations

• Duality for algebras of relevant logics
• Idempotent residuated structures: Some category equivalences and their applications
• A category equivalence for odd Sugihara monoids and its applications
• A note on Sugihara algebras
• Dualities for modal algebras from the point of view of triples

Cites work

• scientific article; zbMATH DE number 3843821 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3604887 (Why is no real title available?)
• scientific article; zbMATH DE number 1226180 (Why is no real title available?)
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• A category equivalence for odd Sugihara monoids and its applications
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Algebraizable logics
• An algebraic approach to subframe logics. Intuitionistic case
• Constructive negations and paraconsistency
• Dualities for modal N4-lattices
• Duality for algebras of relevant logics
• Gödel algebras: interactive dualities and their applications.
• Idempotent residuated structures: Some category equivalences and their applications
• Lattices With Involution
• Minimal varieties of involutive residuated lattices
• On extensions of intermediate logics by strong negation
• On the lattice of quasivarieties of Sugihara algebras
• On the representation of \(\mathbf{N4}\)-lattices
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Positive Sugihara monoids
• Representable idempotent commutative residuated lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Residuated lattices. An algebraic glimpse at substructural logics
• Substructural fuzzy logics
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• The semantics of entailment. II
• The semantics of entailment. III

Cited in

(16)

• Poset products as relational models
• Epimorphisms in varieties of subidempotent residuated structures
• A topological approach to MTL-algebras
• Piggybacking over unbounded distributive lattices
• Frames and spaces for distributive quasi relation algebras and distributive involutive FL-algebras
• Skew metrics valued in Sugihara semigroups
• Sugihara algebras and Sugihara monoids: Multisorted dualities
• Interpolation in linear logic and related systems
• Amalgamation in semilinear residuated lattices
• Representing Sugihara monoids via weakening relations
• Categories of Models of R-Mingle
• Semiconic idempotent logic. II: Beth definability and deductive interpolation
• Complemented MacNeille completions and algebras of fractions
• Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
• Semiconic idempotent logic. I: Structure and local deduction theorems.
• Sugihara algebras: admissibility algebras via the test spaces method

This page was built for publication: Categories of models of \(\mathbf{R}\)-mingle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2311212)