The following pages link to Luca Tranchini (Q694490):
Displaying 22 items.
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- Stabilizing quantum disjunction (Q1633237) (← links)
- Ekman's paradox (Q1676357) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979) (← links)
- Proof, meaning and paradox: some remarks (Q2288280) (← links)
- Truth from a proof-theoretic perspective (Q2339006) (← links)
- The naturality of natural deduction (Q2631649) (← links)
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- (Q2856091) (← links)
- HARMONISING HARMONY (Q3195584) (← links)
- (Q4608343) (← links)
- (Q4903813) (← links)
- Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
- Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules (Q5213629) (← links)
- Emptiness and Discharge in Sequent Calculus and Natural Deduction (Q5259653) (← links)
- Proof-theoretic semantics, paradoxes and the distinction between sense and denotation (Q5739972) (← links)
- (I can't get no) antisatisfaction (Q6088588) (← links)
- What’s Decidable About (Atomic) Polymorphism? (Q6159943) (← links)
- Harmony and paradox. Intensional aspects of proof-theoretic semantics (Q6535881) (← links)
- Intensional harmony as isomorphism (Q6612873) (← links)
