Duality for algebras of relevant logics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4083584 (Why is no real title available?)
- scientific article; zbMATH DE number 3525100 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- scientific article; zbMATH DE number 3803497 (Why is no real title available?)
- scientific article; zbMATH DE number 3103212 (Why is no real title available?)
- A duality for Boolean algebras with operators
- Boolean Algebras with Operators. Part I
- Distributive lattices with a dual homomorphic operation
- Distributive lattices with a dual homomorphic operation. II
- Failure of interpolation in relevant logics
- R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
- Representation of Distributive Lattices by means of ordered Stone Spaces
- The semantics of entailment. II
- The semantics of entailment. III
Cited in
(45)- Note on algebraic models for relevance logic
- Dualities for modal algebras from the point of view of triples
- Varieties of De Morgan monoids: minimality and irreducible algebras
- scientific article; zbMATH DE number 7552279 (Why is no real title available?)
- General frames for relevant modal logics
- 2010 North American Annual Meeting of the Association for Symbolic Logic
- Epimorphisms in varieties of subidempotent residuated structures
- Natural duality as a tool to study algebras arising from logics
- Modules with fusion and implication based over distributive lattices: representation and duality
- Stone-type dualities for separation logics
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
- Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
- A topological approach to MTL-algebras
- Proper semantics for substructural logics, from a stalker theoretic point of view
- Abstract hidden Markov models: a monadic account of quantitative information flow
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- Frames and spaces for distributive quasi relation algebras and distributive involutive FL-algebras
- The Story of \gamma γ
- Diagrammatic duality
- A duality between algebras of basic logic and bounded representable \(\text{DR}l\)-monoids
- A stone-type duality theorem for separation logic via its underlying bunched logics
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
- Comments on the Contributions
- Automated theorem proving by resolution in non-classical logics
- On canonicity of poset expansions
- Sequent-systems and groupoid models. II
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
- Duality for lattice-ordered algebras and for normal algebraizable logics
- Paraconsistency in categories: case of relevance logic
- Algebras for Galois-style connections and their discrete duality
- A Logical Autobiography
- An algebraic glimpse at bunched implications and separation logic
- Larisa Maksimova’s Early Contributions to Relevance Logic
- Algebraic study of two deductive systems of relevance logic
- Canonicity results of substructural and lattice-based logics
- Functorial duality for ortholattices and De Morgan lattices
- Completeness of intersection and union type assignment systems for call-by-value -models
- scientific article; zbMATH DE number 1775483 (Why is no real title available?)
- The algebra of intensional logics. With an introductory essay by Katalin Bimbó
- scientific article; zbMATH DE number 16514 (Why is no real title available?)
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
- Dual realizability in symmetric logic
- Categories of models of \(\mathbf{R}\)-mingle
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
This page was built for publication: Duality for algebras of relevant logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1914154)
