The proof-theoretic square
Synthese 201, 219 (2023)
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction
Notre Dame J. Formal Logic 64 (2) 205 - 223, May 2023.
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
Bulletin of Symbolic Logic, 29(1), 2023, 71-96.
Identity in Martin-Löf type theory
Identity in Martin-Löf type theory. Philosophy Compass, 17(2), e12805. 2021.
Relevant epistemic logic with public announcements and common knowledge
Journal of Logic and Computation, Volume 33, Issue 2, March 2023, Pages 436–461, https://doi.org/10.
A 0-1 Law in Mathematical Fuzzy Logic
IEEE Transactions on Fuzzy Systems 30 (9), pp. 3833-3840, 2022.
Iterated team semantics for a hierarchy of informational types
Annals of Pure and Applied Logic Volume 173 (10), 2022, 103156
Relevant propositional dynamic logic
Synthese 200, 235 (2022).
Logica Dominans vs. Logica Serviens
Logic and Logical Philosophy 31, 2022, 183-207
There Have to Be Crooks in This World Too
W. Gobsch & J. Held (eds.): Orientierung durch Kritik, Meiner, 2021, pp. 41-58.
|
Oddělení logiky Filosofický ústav AV ČR, v.v.i. |
|
