Rudolf Carnap's Inferentialism

Peregrin, J.
R. Schuster (ed.): The Vienna Circle in Czechoslovakia, Springer, Cham, 2020, 97-109

A Relevant Logic of Questions

Punčochář, V.
Journal of Philosophical Logic 49, 2020, 905-939

The Harmony of Identity

Klev, A.
Journal of Philosophical Logic 48, 2019, pp. 867–884

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