The following pages link to Subminimal negation (Q1699743):
Displayed 8 items.
- Subminimal logics in light of Vakarelov's logic (Q831220) (← links)
- Subintuitionistic logics and the implications they prove (Q1788333) (← links)
- Subminimal negation on the Australian plan (Q2079709) (← links)
- Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD (Q2148809) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- Paraconsistent logic and query answering in inconsistent databases (Q6117329) (← links)
- Double negation as minimal negation (Q6190088) (← links)