The following pages link to (Q4992398):
Displayed 16 items.
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- Dualities for Płonka sums (Q1632048) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Logics of nonsense and Parry systems (Q2018590) (← 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)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- A computational interpretation of conceptivism (Q4583359) (← links)
- Defining LFIs and LFUs in extensions of infectious logics (Q4586167) (← links)
- Logics of variable inclusion and the lattice of consequence relations (Q4994024) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- Structural proof theory for first-order weak Kleene logics (Q4995622) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← 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)