Consistency and Decidability in Some Paraconsistent Arithmetics
The Australasian Journal of Logic, 18(5), 2021, 473-502
Moderate anti-exceptionalism and earthborn logic
Synthese, 199, pages 8781–8806, 2021
Inquisitive Heyting Algebras
Studia Logica 109, 2021, 995-1017
The Complexities of Syntax
R. Nefdt, C. Klippi and B. Karstens (eds.): Philosophy and Science of Language, Palgrave, 2020
Indicative conditionals in objective contexts.
Theoria, 86, 2020, 651-68
Rudolf Carnap's Inferentialism
R. Schuster (ed.): The Vienna Circle in Czechoslovakia, Springer, Cham, 2020, 97-109
A Relevant Logic of Questions
Journal of Philosophical Logic 49, 2020, 905-939
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
|
Oddělení logiky Filosofický ústav AV ČR, v.v.i. |
|
