Pages that link to "Item:Q2339009"
From MaRDI portal
The following pages link to Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning (Q2339009):
Displayed 17 items.
- Logical consequence and the paradoxes (Q484113) (← links)
- Constructive belief reports (Q514084) (← links)
- On Dummett's verificationist justification procedure (Q516329) (← links)
- Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism (Q516400) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Proof, meaning and paradox: some remarks (Q2288280) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- General proof theory: introduction (Q2631640) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- Plugging-in proof development environments using<i>Locks</i>in<tt>LF</tt> (Q4691186) (← links)
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics (Q5057054) (← links)
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618) (← links)
- Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules (Q5213629) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- A novel approach to equality (Q6142508) (← links)