The following pages link to Proof and Falsity (Q3121549):
Displaying 12 items.
- Book review of: N. Kürbis, Proof and falsity: a logical investigation (Q2698284) (← links)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- A novel approach to equality (Q6142508) (← links)
- Logical multilateralism (Q6145030) (← links)
- Rejection: a historico-epistemological view (Q6146291) (← links)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)
- A general schema for bilateral proof rules (Q6544534) (← links)
- The logicality of equality (Q6612870) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
- Categoricity problem for LP and K3 (Q6642825) (← links)
- Bilateral inversion principles (Q6659909) (← links)
