Pages that link to "Item:Q2193974"
From MaRDI portal
The following pages link to Proof theory of paraconsistent weak Kleene logic (Q2193974):
Displaying 16 items.
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- Proof-theoretic conservations of weak weak intuitionistic constructive set theories (Q490665) (← links)
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- Meaningless divisions (Q2075270) (← links)
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication (Q2243548) (← links)
- Monstrous content and the bounds of discourse (Q2686088) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- Logical Weak Completions of Paraconsistent Logics (Q3549315) (← links)
- Pure Variable Inclusion Logics (Q5066089) (← links)
- (Q5175691) (← links)
- Semantical analysis of weak Kleene logics (Q5742697) (← links)
- A generalization of Beall's off-topic interpretation (Q6597133) (← links)
- Editorial introduction (Q6642818) (← links)
- Finite Hilbert systems for weak Kleene logics (Q6642819) (← links)
- Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic (Q6642820) (← links)
- A new game theoretic semantics (GTS-2) for weak Kleene logics (Q6642828) (← links)