The following pages link to An extension of basic logic (Q5786282):
Displaying 11 items.
- Some remarks on extending and interpreting theories with a partial predicate for truth (Q1093626) (← links)
- Implication and analysis in classical Frege structures (Q1095139) (← links)
- A type-free system extending (ZFC) (Q1121865) (← links)
- A note on three-valued logic and Tarski theorem on truth definitions (Q1150605) (← links)
- Property theory: The type-free approach \(v\). The Church approach (Q1319264) (← links)
- Paradox and logical revision. A short introduction (Q1708458) (← links)
- Some results concerning proofs of statements about programs (Q2537129) (← links)
- CAN MODALITIES SAVE NAIVE SET THEORY? (Q4637947) (← links)
- A Note on Gödel, Priest and Naïve Proof (Q5013617) (← links)
- On meaningfulness and truth (Q5928921) (← links)
- Non-contractability and revenge (Q6651717) (← links)