Pages that link to "Item:Q1568714"
From MaRDI portal
The following pages link to Harmony and autonomy in classical logic (Q1568714):
Displaying 31 items.
- Proof-theoretic semantics, a problem with negation and prospects for modality (Q266652) (← links)
- A note on harmony (Q452347) (← links)
- General-elimination stability (Q526738) (← links)
- Why conclusions should remain single (Q543530) (← links)
- General-elimination harmony and the meaning of the logical constants (Q600850) (← links)
- Harmonising natural deduction (Q948984) (← links)
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) (Q1693600) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← 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)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- What is the logic of inference? (Q2426732) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- Book review of: N. Kürbis, Proof and falsity: a logical investigation (Q2698284) (← links)
- Antirealism, Meaning and Truth-Conditional Semantics (Q2908760) (← links)
- Conservativeness and Eliminability for Anti-Realistic Definitions (Q2908762) (← links)
- Necessary Truth and Proof (Q2908766) (← links)
- Some Comments and Replies (Q3305682) (← links)
- SEMANTIC POLLUTION AND SYNTACTIC PURITY (Q3459083) (← links)
- On Inversion Principles (Q3518563) (← links)
- Noisy vs. Merely Equivocal Logics (Q4912985) (← links)
- EPISTEMIC MULTILATERAL LOGIC (Q5078819) (← links)
- Inversion Principles and Introduction Rules (Q5213611) (← links)
- General-Elimination Harmony and Higher-Level Rules (Q5213616) (← links)
- WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS (Q5737955) (← links)
- HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY (Q5741620) (← links)
- Proof Terms for Generalized Natural Deduction (Q6060674) (← links)
- Is there a neutral metalanguage? (Q6067342) (← links)
- Proof-theoretic pluralism (Q6088951) (← links)
