Pages that link to "Item:Q4995622"
From MaRDI portal
The following pages link to Structural proof theory for first-order weak Kleene logics (Q4995622):
Displaying 6 items.
- Tableaux and restricted quantification for systems related to weak Kleene logic (Q2142060) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- A Strongly Complete Formalisation of a 5-Valued Propositional Calculus (Q3770501) (← links)
- Logical Nihilism and the Logic of ‘prem’ (Q5013626) (← links)
- A generalization of Beall's off-topic interpretation (Q6597133) (← links)
- Normalisation for some infectious logics and their relatives (Q6659895) (← links)