Categories of models of R-mingle
From MaRDI portal
Publication:2311212
Recommendations
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)