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
Husserl and Carnap on Regions and Formal Categories
In: Centrone S. (eds) Essays on Husserl's Logic and Philosophy of Mathematics. Synthese Library (Stu
A Lewisian taxonomy for denotic logic
Synthese 195 (7),2018, pp 3241–3266
Carnap on unified science
Studies in History and Philosophy of Science 59, 2016, 53-67
Identity and Sortals (and Ceasar)
Erkenntnis 82 (1), 2017, pp 1–16
Algebras of information states
Journal of Logic and Computation 27 (5), 2017, pp 1643–1675
|
Oddělení logiky Filosofický ústav AV ČR, v.v.i. |
|
