Oddělení logiky
Department of Logic

logo f

identity-in-martin-l-f-type-theory

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

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

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

Iterated team semantics for a hierarchy of informational types

Punčochář, V.
Annals of Pure and Applied Logic Volume 173 (10), 2022, 103156
relevant-propositional-dynamic-logic

Relevant propositional dynamic logic

Tedder, A. & Bílková, M.
Synthese 200, 235 (2022).
logica-dominans-vs-logica-serviens

Logica Dominans vs. Logica Serviens

Peregrin, J. & Svoboda, V.
Logic and Logical Philosophy 31, 2022, 183-207
there-have-to-be-crooks-in-this-world-too

There Have to Be Crooks in This World Too

Kolman, V.
W. Gobsch & J. Held (eds.): Orientierung durch Kritik, Meiner, 2021, pp. 41-58.
consistency-and-decidability-in-some-paraconsistent-arithmetics

Consistency and Decidability in Some Paraconsistent Arithmetics

Tedder, A.
The Australasian Journal of Logic, 18(5), 2021, 473-502
moderate-anti-exceptionalism-and-earthborn-logic

Moderate anti-exceptionalism and earthborn logic

Peregrin, J. & Svoboda, V.
Synthese, 199, pages 8781–8806, 2021
inquisitive-heyting-algebras

Inquisitive Heyting Algebras

Punčochář, V.
Studia Logica 109, 2021, 995-1017

Oddělení logiky

Filosofický ústav AV ČR, v.v.i.
Jilská 361/1, 110 00 Praha 1
tel.: (+420) 221 183 322

AVCR1

F zakladni text vedle 40