Oddělení logiky

logo1cz

eliciting-uncertainties-a-two-structure-approach

Eliciting Uncertainties: A Two Structure Approach

Childers, T. & Majer, O.
Studia Logica 106 (3), 2018, pp 615–636
the-justification-of-identity-elimination-in-martin-l-f-s-type-theory

The Justification of Identity Elimination in Martin-Löf’s Type Theory

Klev, A.
Topoi, online first
husserl-and-carnap-on-regions-and-formal-categories

Husserl and Carnap on Regions and Formal Categories

Klev, A.
In: Centrone S. (eds) Essays on Husserl's Logic and Philosophy of Mathematics. Synthese Library (Stu
a-lewisian-taxonomy-for-denotic-logic

A Lewisian taxonomy for denotic logic

Svoboda, V.
Synthese 195 (7),2018, pp 3241–3266
carnap-on-unified-science

Carnap on unified science

Klev, A.
Studies in History and Philosophy of Science 59, 2016, 53-67
identity-and-sortals-and-ceasar

Identity and Sortals (and Ceasar)

Klev, A.
Erkenntnis 82 (1), 2017, pp 1–16
algebras-of-information-states

Algebras of information states

Punčochář, V.
Journal of Logic and Computation 27 (5), 2017, pp 1643–1675
dedekind-s-logicism

Dedekind's Logicism

Klev, A.
Philosophia Mathematica 25 (3), 2017, pp 341–368
a-proof-theoretic-account-of-the-miners-paradox

A Proof-Theoretic Account of the Miners Paradox

Klev, A.
Theoria 82 (4), 2016, pp 351-369
logically-incorrect-arguments

Logically Incorrect Arguments

Svoboda, V. & Peregrin, J.
Argumentation 30(3), 2016, 263-287

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