The following pages link to A basic logic (Q5834324):
Displaying 9 items.
- Implication and analysis in classical Frege structures (Q1095139) (← links)
- A type-free system extending (ZFC) (Q1121865) (← links)
- Paradox and logical revision. A short introduction (Q1708458) (← links)
- CAN MODALITIES SAVE NAIVE SET THEORY? (Q4637947) (← links)
- A Note on Gödel, Priest and Naïve Proof (Q5013617) (← links)
- Abstraction in Fitch's Basic Logic (Q5497106) (← links)
- A Formalism for Primitive Logic and Mechanical Proof-Checking (Q5586405) (← links)
- Representations of calculi (Q5834325) (← links)
- Non-contractability and revenge (Q6651717) (← links)