From Excluded Middle to Homogenization in Plumwood’s Feminist Critique of Logic
Australasian Journal of Logic. Roč. 20, č. 2 (2023), s. 243-277
Subject-Matter and Intensional Operators II
Journal of Philosophical Logic. Roč. 52, č. 6 (2023), s. 1673-1701.
Logic as a Science of Patterns?
Journal of Philosophy 121, 2024, 5-25
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
|
Oddělení logiky Filosofický ústav AV ČR, v.v.i. |
|
