scientific article; zbMATH DE number 3891328
From MaRDI portal
Publication:3347856
Recommendations
Cited in
(37)- On the relevant systems P and P^* and some related systems
- A content semantics for quantified relevant logics. I
- Semantics for relevance logic with identity
- Rules in relevant logic. I: Semantic classification
- Rules in relevant logic. II: Formula representation
- Chrysippus' logic in a natural deduction setting
- Neighbourhood semantics for quantified relevant logics
- What is a relevant connective?
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
- Notes on stratified semantics
- Neighbourhood semantics for modal relevant logics
- CHR: a constructive relevant natural-deduction logic
- Distribution in the logic of meaning containment and in quantum mechanics
- Revisiting Semilattice Semantics
- Trees for E
- BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
- Natural deduction systems for E
- Priorean strict implication, Q and related systems
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
- A substructural approach to explicit modal logic
- Natural deduction, hybrid systems and modal logics
- Epistemic logics for relevant reasoners
- Deep fried logic
- Failure of interpolation in relevant logics
- Simplified semantics for relevant logics (and some of their rivals)
- Models for official entailment
- Frege meets Belnap: Basic Law V in a relevant logic
- Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
- Semantics for second-order relevant logics
- Variable-sharing as relevance
- Withered relevance. Evaluating the Anderson-Belnap account of relevant logics
- Introduction: directions and new directions
- Symmetry and completeness in relevant epistemic logic
- Simplified semantics for further relevant logics. I: Unreduced semantics for \(\mathbf{E}\) and \(\boldsymbol{\Pi}'\)
- A content semantics for quantified relevant logics. II
- Sets as singularities in the intensional universe
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3347856)
