Pages that link to "Item:Q1340989"
From MaRDI portal
The following pages link to Classical harmony: Rules of inference and the meaning of the logical constants (Q1340989):
Displaying 5 items.
- Proof-theoretic semantics, a problem with negation and prospects for modality (Q266652) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Single-assumption systems in proof-theoretic semantics (Q2079705) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- Speech acts, categoricity, and the meanings of logical connectives (Q2258539) (← links)
