The following pages link to Revisiting \(\mathbb Z\) (Q2443124):
Displayed 8 items.
- Revisiting da Costa logic (Q301378) (← links)
- Weakening and extending \(\mathbb{Z}\) (Q497880) (← links)
- The Conley conjecture and beyond (Q500664) (← links)
- Kripke-type semantics for \(\mathrm{CG}_3'\) (Q1744430) (← links)
- A single proof of classical behaviour in da Costa's \(C_n\) systems (Q2520656) (← links)
- On paraconsistent extensions of \(C_1\) (Q2520660) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)