The following pages link to (Q3112283):
Displayed 13 items.
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- Meaningless divisions (Q2075270) (← links)
- Tableaux for logics of content relationship and set-assignment semantics (Q2169132) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication (Q2243548) (← links)
- The pure calculus of entailment (Q3849883) (← links)
- Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems (Q5066087) (← links)
- History of Relating Logic. The Origin and Research Directions (Q5066088) (← links)
- Pure Variable Inclusion Logics (Q5066089) (← links)
- Incorporating the Relation into the Language? (Q5066092) (← links)
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic (Q5215506) (← links)
- Semantical analysis of weak Kleene logics (Q5742697) (← links)
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) (Q6043014) (← links)