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 9 items.
- Proof-theoretic semantics, a problem with negation and prospects for modality (Q266652) (← links)
- General-elimination harmony and the meaning of the logical constants (Q600850) (← links)
- Harmonising natural deduction (Q948984) (← links)
- Harmony and autonomy in classical logic (Q1568714) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Classical harmony and separability (Q2055927) (← 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)