The following pages link to Paraconsistent analytic implication (Q801897):
Displaying 10 items.
- A note on the decidability of a strong relevant logic (Q1066881) (← links)
- Analytic implication (Q1090323) (← links)
- A simple sequent calculus for Angell's logic of analytic containment (Q1685482) (← links)
- Semantics for analytic containment (Q1876092) (← links)
- Logics of nonsense and Parry systems (Q2018590) (← links)
- Algebraic analysis of demodalised analytic implication (Q2295595) (← links)
- A computational interpretation of conceptivism (Q4583359) (← links)
- Defining LFIs and LFUs in extensions of infectious logics (Q4586167) (← links)
- Paraconsistency and Consistency Understood as the Absence of the Negation of any Implicative Theorem (Q5412176) (← links)
- A cartography of LFIs and truth (Q6623945) (← links)