Pages that link to "Item:Q3712316"
From MaRDI portal
The following pages link to Relevant entailment—semantics and formal systems (Q3712316):
Displaying 20 items.
- What is relevance logic? (Q392272) (← links)
- A general characterization of the variable-sharing property by means of logical matrices (Q435241) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Simple consequence relations (Q809992) (← links)
- The semantics and proof theory of linear logic (Q1106836) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- Curry's paradox, generalized modus ponens axiom and depth relevance (Q2016072) (← links)
- The classical constraint on relevance (Q2254555) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- (Q3197806) (← links)
- $$\mathbf {RM}$$ RM and its Nice Properties (Q3305418) (← links)
- Relevant logic as a basis for paraconsistent epistemic logics (Q4275693) (← links)
- Implicational Logic, Relevance, and Refutability (Q5006815) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Interpretations of Weak Positive Modal Logics (Q5020162) (← links)
- RELEVANCE FOR THE CLASSICAL LOGICIAN (Q5107541) (← links)
- THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS (Q5221292) (← links)
- Semi-implication: A Chapter in Universal Logic (Q5258962) (← links)
- Refutation systems: an overview and some applications to philosophical logics (Q6601769) (← links)
