The following pages link to The semantics of entailment. II (Q1221739):
Displaying 13 items.
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀<i>p</i> and ∃<i>p</i> (Q5287696) (← links)
- QUANTIFIED MODAL RELEVANT LOGICS (Q5880427) (← links)
- Reflections on Orlov (Q6098652) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- Non-Boolean classical relevant logics. II: Classicality through truth-constants (Q6147138) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic (Q6196503) (← links)
- Substructural nuclear (image-based) logics and operational Kripke-style semantics (Q6597128) (← links)
- One variable relevant logics are S5Ish (Q6606834) (← links)
- Multiset-multiset frames (Q6623813) (← links)
- Deep fried logic (Q6651286) (← links)
