| An algebraic view of super-Belnap logics H Albuquerque, A Přenosil, U Rivieccio Studia Logica 105, 1051-1086, 2017 | 31 | 2017 |
| The lattice of super-Belnap logics A Přenosil The Review of Symbolic Logic 16 (1), 114-163, 2023 | 12 | 2023 |
| Reasoning with inconsistent information A Prenosil Ph. D. Thesis, Charles University, 2018 | 10 | 2018 |
| Cut elimination, identity elimination, and interpolation in super-Belnap logics A Přenosil Studia Logica 105 (6), 1255-1289, 2017 | 10 | 2017 |
| Protonegational logics and inconsistency lemmas T Lávicka, A Prenosil Proocedings of ManyVal, 2017 | 7 | 2017 |
| Constructing natural extensions of propositional logics A Přenosil Studia Logica 104 (6), 1179-1190, 2016 | 7 | 2016 |
| De Morgan clones and four-valued logics A Přenosil Algebra universalis 82 (2), 30, 2021 | 5 | 2021 |
| A Duality for Distributive Unimodal Logic. A Prenosil Advances in modal logic 10, 423-438, 2014 | 5 | 2014 |
| Lattice-ordered pregroups are semi-distributive N Galatos, P Jipsen, M Kinyon, A Přenosil Algebra universalis 82, 1-6, 2021 | 4 | 2021 |
| Semisimplicity, Glivenko theorems, and the excluded middle T Lávička, A Přenosil arXiv preprint arXiv:2101.03528, 2021 | 4 | 2021 |
| Contradictory information as a basis for rational belief A Přenosil Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017 …, 2017 | 4 | 2017 |
| Embedding lattice-ordered bi-monoids in involutive commutative residuated lattices N Galatos, A Prenosil Logic, Algebra and Truth Degrees, 4-4, 2018 | 2 | 2018 |
| The inconsistency predicate on De Morgan lattices A Přenosil Acta Universitatis Carolinae Philosophica et Historica 23 (2), 45-61, 2017 | 2 | 2017 |
| Reductio ad contradictionem: an algebraic perspective A Přenosil Studia Logica 104 (3), 389-415, 2016 | 2 | 2016 |
| Sequent Calculi for First-order F Paoli, A Přenosil Journal of Philosophical Logic, 1-30, 2024 | 1 | 2024 |
| Logics of upsets of De Morgan lattices A Přenosil Mathematical Logic Quarterly 69 (4), 419-445, 2023 | 1 | 2023 |
| Filter classes of upsets of distributive lattices A Přenosil Order, 1-26, 2023 | 1 | 2023 |
| Four-valued logics of truth, nonfalsity, exact truth, and material equivalence A Přenosil | 1 | 2020 |
| Semisimplicity, glivenko theorems, and the excluded middle A Prenosil, T Lávicka Available on the ArXiv, 2020 | 1 | 2020 |
| Consistency, Completeness, and Classicality A Přenosil New Essays on Belnap-Dunn Logic, 255-278, 2019 | 1 | 2019 |
