Pages that link to "Item:Q750419"
From MaRDI portal
The following pages link to Relevance and paraconsistency - a new approach. II: The formal systems (Q750419):
Displaying 15 items.
- \(\mathbf R\) and relevance principle revisited (Q381004) (← links)
- Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\) (Q497423) (← links)
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM (Q793002) (← links)
- On an implication connective of RM (Q1088648) (← links)
- Whither relevance logic? (Q1198408) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- The classical constraint on relevance (Q2254555) (← links)
- Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems (Q2277440) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- A finite model property for RMImin (Q3418090) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Multiplicative conjunction and an algebraic meaning of contraction and weakening (Q4227869) (← links)
- Implicational Logic, Relevance, and Refutability (Q5006815) (← links)
- Relevance Domains and the Philosophy of Science (Q5020170) (← links)
- Refutation systems: an overview and some applications to philosophical logics (Q6601769) (← links)
