Oddělení logiky
Department of Logic
O nás
Lidé
Vít Punčochář
Ansten Mørch Klev
Vojtěch Kolman
Ondrej Majer
Jaroslav Peregrin
Igor Sedlár
Vladimír Svoboda
Marta Vlasáková
Kontakt
Ocenění
Projekty
Aktuální grantové projekty
Uzavřené grantové projekty
Publikace
Logica Yearbook
Knihy
Články
Přepisy: Martin-Löf
Akce
LOGICA
LOGICA 2025
Konference
Workshopy
Seminář
Multimedia
LOGICA - videa
Popularizace
EN
From Excluded Middle to Homogenization in Plumwood’s Feminist Critique of Logic
Ferguson, T.
Australasian Journal of Logic. Roč. 20, č. 2 (2023), s. 243-277
Subject-Matter and Intensional Operators II
Ferguson, T.
Journal of Philosophical Logic. Roč. 52, č. 6 (2023), s. 1673-1701.
Logic as a Science of Patterns?
Peregrin, J.
Journal of Philosophy 121, 2024, 5-25
The proof-theoretic square
d’Aragona, A.P.
Synthese 201, 219 (2023)
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction
Klev, A.
Notre Dame J. Formal Logic 64 (2) 205 - 223, May 2023.
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
McCarty, C., Shapiro, S. and Klev, A.
Bulletin of Symbolic Logic, 29(1), 2023, 71-96.
Identity in Martin-Löf type theory
Klev, A.
Identity in Martin-Löf type theory. Philosophy Compass, 17(2), e12805. 2021.
Relevant epistemic logic with public announcements and common knowledge
Vít Punčochář, Igor Sedlár, Andrew Tedder
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
Badia, G. & Noguera, C.
IEEE Transactions on Fuzzy Systems 30 (9), pp. 3833-3840, 2022.
Iterated team semantics for a hierarchy of informational types
Punčochář, V.
Annals of Pure and Applied Logic Volume 173 (10), 2022, 103156
Strana 2 z 7
Začátek
Předchozí
1
2
3
4
5
6
7
Následující
Konec