Pages that link to "Item:Q1914154"

The following pages link to Duality for algebras of relevant logics (Q1914154):

Displaying 41 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)
• Sequent-systems and groupoid models. II (Q1263573) (← links)
• Duality for lattice-ordered algebras and for normal algebraizable logics (Q1368914) (← 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)
• Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
• Modules with fusion and implication based over distributive lattices: representation and duality (Q2122479) (← links)
• A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← 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)
• Dualities for modal algebras from the point of view of triples (Q2351511) (← 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)
• Functorial duality for ortholattices and De Morgan lattices (Q2470761) (← links)
• Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
• A duality between algebras of basic logic and bounded representable \(\text{DR}l\)-monoids (Q2760944) (← links)
• Natural duality as a tool to study algebras arising from logics (Q2784599) (← 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)
• Note on algebraic models for relevance logic (Q3472078) (← links)
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
• Towards a categorical characterization of relevant logic (Q3973197) (← links)
• (Q4542610) (← 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)
• Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications (Q5427255) (← links)
• Dual realizability in symmetric logic (Q5957923) (← 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)