Pages that link to "Item:Q2193974"
From MaRDI portal
The following pages link to Proof theory of paraconsistent weak Kleene logic (Q2193974):
Displaying 10 items.
- 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)
- Pure Variable Inclusion Logics (Q5066089) (← 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)
