Pages that link to "Item:Q1970589"
From MaRDI portal
The following pages link to The idea of a proof-theoretic semantics and the meaning of the logical operations (Q1970589):
Displayed 8 items.
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Connectives stranger than tonk (Q853814) (← links)
- Logical connectives for constructive modal logic (Q857668) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Quine and Slater on paraconsistency and deviance (Q1411358) (← links)
- Conservativeness and Eliminability for Anti-Realistic Definitions (Q2908762) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)