The Harmony of Identity
Journal of Philosophical Logic 48, 2019, pp. 867–884
Eta-Rules in Martin-Löf's Type Theory
Bulletin of Symbolic Logic 25, 2019, pp. 333-359
Logic and Sets
Logic and Logical Philosophy, online first
The Truth of Proof: A Hegelian Perspective on Constructivism
C. Weiss (ed.): Constructive Cemantics, Springer, Cham, 2019, 149-172
Substructural Inquisitive Logics
Review of Symbolic Logic 12, 2019, 296-330.
Intensionality in Mathematics
M. Piazza and G. Pulcini (eds.): Truth, Existence and Explanation, Springer, Cham, 2018, 57-70
The concept horse is a concept
Review of Symbolic Logic 11, 547-572
Husserl's logical grammar.
History and Philosophy of Logic 39, 232-269
Eliciting Uncertainties: A Two Structure Approach
Studia Logica 106 (3), 2018, pp 615–636
The Justification of Identity Elimination in Martin-Löf’s Type Theory
Topoi, online first
|
Oddělení logiky Filosofický ústav AV ČR, v.v.i. |
|
