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
Dedekind's Logicism
Philosophia Mathematica 25 (3), 2017, pp 341–368
|
Oddělení logiky Filosofický ústav AV ČR, v.v.i. |
|
