Eta-Rules in Martin-Löf's Type Theory

Klev, A.
Bulletin of Symbolic Logic 25, 2019, pp. 333-359

Logic and Sets

Vlasáková, M.
Logic and Logical Philosophy, online first

The Truth of Proof: A Hegelian Perspective on Constructivism

Kolman, V.
C. Weiss (ed.): Constructive Cemantics, Springer, Cham, 2019, 149-172

Substructural Inquisitive Logics

Punčochář, V.
Review of Symbolic Logic 12, 2019, 296-330.

Intensionality in Mathematics

Peregrin, J.
M. Piazza and G. Pulcini (eds.): Truth, Existence and Explanation, Springer, Cham, 2018, 57-70

The concept horse is a concept

Klev, A.
Review of Symbolic Logic 11, 547-572

Husserl's logical grammar.

Klev, A.
History and Philosophy of Logic 39, 232-269

Eliciting Uncertainties: A Two Structure Approach

Childers, T. & Majer, O.
Studia Logica 106 (3), 2018, pp 615–636

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