Pages that link to "Item:Q1914154"
From MaRDI portal
The following pages link to Duality for algebras of relevant logics (Q1914154):
Displaying 28 items.
- General frames for relevant modal logics (Q558732) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Paraconsistency in categories: case of relevance logic (Q763325) (← links)
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras (Q861580) (← links)
- Algebras for Galois-style connections and their discrete duality (Q969585) (← links)
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras (Q1697346) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Modules with fusion and implication based over distributive lattices: representation and duality (Q2122479) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
- A topological approach to MTL-algebras (Q2324842) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Proper semantics for substructural logics, from a stalker theoretic point of view (Q2426733) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- 2010 North American Annual Meeting of the Association for Symbolic Logic (Q3083467) (← links)
- (Q3121529) (← links)
- The Story of $$\gamma $$ γ (Q3305422) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics (Q5027243) (← links)
- Comments on the Contributions (Q5027252) (← links)
- (Q5087782) (← links)
- Larisa Maksimova’s Early Contributions to Relevance Logic (Q5214731) (← links)
- (Q5376651) (← links)
- Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models (Q5958296) (← links)
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic (Q6196503) (← links)
