Pages that link to "Item:Q4379628"
From MaRDI portal
The following pages link to Propositions in Prepositional Logic Provable Only by Indirect Proofs (Q4379628):
Displaying 6 items.
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning (Q2339009) (← links)
- Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules (Q5213629) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
- Which `intensional paradoxes' are paradoxes? (Q6606835) (← links)
- On the structure of proofs (Q6612876) (← links)
