The following pages link to (Q3599059):
Displaying 50 items.
- Current trends in substructural logics (Q266641) (← links)
- Non-deterministic semantics in polynomial format (Q281146) (← links)
- On the ternary relation and conditionality (Q452358) (← links)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- The method of polynomial ring calculus and its potentialities (Q897932) (← links)
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism (Q965858) (← links)
- Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052) (← links)
- On Sahlqvist formulas in relevant logic (Q1670491) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Symmetric generalized Galois logics (Q1931307) (← links)
- Contradictory information: too much of a good thing (Q1959325) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Implicational tonoid logics: algebraic and relational semantics (Q2070425) (← links)
- Implicational partial Galois logics: relational semantics (Q2070426) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Neighbourhood semantics for quantified relevant logics (Q2144203) (← links)
- What is a relevant connective? (Q2155944) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Basic quasi-Boolean expansions of relevance logics (Q2236601) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- The decidability of the intensional fragment of classical linear logic (Q2517231) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- Kapsner complementation: an algebraic take on Kapsner strong logics (Q2698283) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- Free of Detachment: Logic, Rationality, and Gluts (Q2965360) (← links)
- 2010 North American Annual Meeting of the Association for Symbolic Logic (Q3083467) (← links)
- (Q3121529) (← links)
- The Story of $$\gamma $$ γ (Q3305422) (← links)
- Epistemic Relevance and Epistemic Actions (Q3305424) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
- 2008–2009 Winter Meeting of the Association for Symbolic Logic (Q3633209) (← links)
- 2009 North American Annual Meeting of the Association for Symbolic Logic (Q3655269) (← links)
- (Q4553286) (← links)
- A basic quasi-Boolean logic of intuitionistic character (Q4994021) (← links)
- Interpretations of Weak Positive Modal Logics (Q5020162) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 (Q5037525) (← links)
- Larisa Maksimova’s Early Contributions to Relevance Logic (Q5214731) (← links)
- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)
- (Q5376651) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
- On Canonical Embeddings of Residuated Groupoids (Q5414968) (← links)
- Two traditions in abstract valuational model theory (Q6088600) (← links)
- Topological duality for orthomodular lattices (Q6096727) (← links)
