Pages that link to "Item:Q2055927"
From MaRDI portal
The following pages link to Classical harmony and separability (Q2055927):
Displaying 9 items.
- An expressivist bilateral meaning-is-use analysis of classical propositional logic (Q302171) (← links)
- Classical harmony: Rules of inference and the meaning of the logical constants (Q1340989) (← links)
- Harmony and autonomy in classical logic (Q1568714) (← links)
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) (Q1693600) (← links)
- Book review of: N. Kürbis, Proof and falsity: a logical investigation (Q2698284) (← links)
- (Q3003836) (← links)
- On an inferential semantics for classical logic (Q5172129) (← links)
- A general schema for bilateral proof rules (Q6544534) (← links)
- Categorical quantification (Q6636686) (← links)