Publication services
→
Universitätsbibliographie
→
Browsing Universitätsbibliographie by Author

Browsing Universitätsbibliographie by Author "Tranchini, Luca"

Now showing items 1-16 of 16

Ekman's Paradox

Schroeder-Heister, Peter; Tranchini, Luca (2017)
Emptiness and Discharge in Sequent Calculus and Natural Deduction

Arndt, Michael; Tranchini, Luca (2014)
Harmonising Harmony

Tranchini, Luca (2015)
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach

Cobreros, Pablo; La Rosa, Elio; Tranchini, Luca (2022)
How to Ekman a Crabbé-Tennant

Schroeder-Heister, Peter; Tranchini, Luca (2018)
(I can't get no) antisatisfaction

Cobreros, Pablo; La Rosa, Elio; Tranchini, Luca (2021)
Natural deduction for bi-intuitionistic logic

Tranchini, Luca (2017)
Natural Deduction for Dual-intuitionistic Logic

Tranchini, Luca (2012)
PROOF ANALYSIS OF GLOBAL CONSEQUENCE

Tranchini, Luca; Cobreros, Pablo (2017)
Proof, Meaning and Paradox: Some Remarks

Tranchini, Luca (2019)
Proof-theoretic harmony: towards an intensional account

Tranchini, Luca (2021)
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation

Tranchini, Luca (2016)
Stabilizing Quantum Disjunction

Tranchini, Luca (2018)
The Naturality of Natural Deduction

Tranchini, Luca; Pistone, Paolo; Petrolo, Mattia (2019)
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives

Pistone, Paolo; Tranchini, Luca; Petrolo, Mattia (2022)
Truth from a Proof-Theoretic Perspective

Tranchini, Luca (2012)

Now showing items 1-16 of 16

Report a Publication

Help

Browse

All of DSpace
This Community

My Account

Login