The following pages link to Semantics for relevant logics (Q5656747):
Displaying 50 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- On the ternary relation and conditionality (Q452358) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- A new approach to classical relevance (Q497418) (← links)
- Four relevant Gentzen systems (Q579235) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- A relevant logic of questions (Q829829) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- On purported Gentzen formulations of two positive relevant logics (Q1071751) (← links)
- Sequent-systems and groupoid models. I (Q1119625) (← links)
- Language in action (Q1177646) (← links)
- Classical relevant logics. II (Q1221098) (← links)
- Relevant analytic tableaux (Q1257473) (← links)
- Sequent-systems and groupoid models. II (Q1263573) (← links)
- Informational interpretation of substructural propositional logics (Q1322438) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Bisimulation for conditional modalities (Q1708097) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- The logical structure of linguistic commitment. II: Systems of relevant commitment entailment (Q1815416) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- Constrained consequence (Q1941731) (← links)
- A conservative negation extension of positive semilattice logic without the finite model property (Q2021561) (← links)
- A reinterpretation of the semilattice semantics with applications (Q2045003) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- Idempotent variations on the theme of exclusive disjunction (Q2115285) (← links)
- Disjunction and negation in information based semantics (Q2148806) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Truthmaker semantics for relevant logic (Q2194111) (← links)
- A characteristic frame for positive intuitionistic and relevance logic (Q2243544) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- The finite embeddability property for residuated groupoids. (Q2510712) (← links)
- Converse Ackermann property and semiclassical negation (Q2641293) (← links)
- Grounding principles for (relevant) implication (Q2695404) (← links)
- The Relevance of Relevance to Relevance Logic (Q2937386) (← links)
- Free of Detachment: Logic, Rationality, and Gluts (Q2965360) (← links)
- Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423) (← links)
- Expanding the Logic of Paradox with a Difference-Making Relevant Implication (Q3305679) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- A Complete Axiomatic System for a Process-Based Spatial Logic (Q3599152) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- Substructural epistemic logics (Q4586145) (← links)
- Fibred tableaux for multi-implication logics (Q4645223) (← links)
- 2003 Annual Meeting of the Association for Symbolic Logic (Q4678936) (← links)
- Richard (Routley) Sylvan: Writings on Logic and Metaphysics (Q4706115) (← links)
- Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic (Q4912982) (← links)
- A Lewisian Semantics for S2 (Q4983329) (← links)
- Grounding rules for (relevant) implication (Q5000135) (← links)
