Reasoning with belief functions over Belnap–Dunn logic
Annals of Pure and Applied Logic, Online first (2023)
Qualitative reasoning in a two-layered framework
International Journal of Approximate Reasoning. Roč. 154, March 2023 (2023), s. 84-108
Empiricism in the foundations of cognition
AI & Society. Roč. 38, č. 1 (2023), s. 67-87
Negation in Negationless Intuitionistic Mathematics
Philosophia Mathematica 31(1), 2023, 29-55
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.
|
Oddělení logiky Filosofický ústav AV ČR, v.v.i. |
|
