Pages that link to "Item:Q5864209"
From MaRDI portal
The following pages link to Open Problems in Proof-Theoretic Semantics (Q5864209):
Displaying 14 items.
- Advances in proof-theoretic semantics (Q495649) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Gödel on deduction (Q2631643) (← links)
- Does the Implication Elimination Rule Need a Minor Premise? (Q3121971) (← links)
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics (Q5057054) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
- Logical multilateralism (Q6145030) (← links)
- Which `intensional paradoxes' are paradoxes? (Q6606835) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Frege's class theory and the logic of sets (Q6612866) (← links)
- The logicality of equality (Q6612870) (← links)
- Intensional harmony as isomorphism (Q6612873) (← links)
- Paradoxes, intuitionism, and proof-theoretic semantics (Q6612875) (← links)