The following pages link to Subminimal negation (Q1699743):
Displaying 10 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)
- A syntactical study of the subminimal logic with Nelson negation (Q2479743) (← links)
- Double negation as minimal negation (Q6190088) (← links)
- A study of algebraic structures and logics based on categories of rough sets (Q6535069) (← links)
- Notes on my scientific life (Q6612807) (← links)
