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

Peregrin, J. & Svoboda, V.
Synthese, 199, pages 8781–8806, 2021

Inquisitive Heyting Algebras

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

The Complexities of Syntax

Peregrin, J.
R. Nefdt, C. Klippi and B. Karstens (eds.): Philosophy and Science of Language, Palgrave, 2020

Indicative conditionals in objective contexts.

Punčochář, V., Gauker, C.
Theoria, 86, 2020, 651-68

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