An algebraic view of super-Belnap logics H Albuquerque, A Přenosil, U Rivieccio Studia Logica 105, 1051-1086, 2017 | 34 | 2017 |
The lattice of super-Belnap logics A Přenosil The Review of Symbolic Logic 16 (1), 114-163, 2023 | 15 | 2023 |
Cut elimination, identity elimination, and interpolation in super-Belnap logics A Přenosil Studia Logica 105 (6), 1255-1289, 2017 | 12 | 2017 |
Reasoning with inconsistent information A Prenosil PhD thesis, Charles University, Prague, 2018 | 11 | 2018 |
Constructing natural extensions of propositional logics A Přenosil Studia Logica 104 (6), 1179-1190, 2016 | 7 | 2016 |
Protonegational logics and inconsistency lemmas T Lávicka, A Prenosil Proocedings of ManyVal, 2017 | 6 | 2017 |
A Duality for Distributive Unimodal Logic. A Prenosil Advances in modal logic 10, 423-438, 2014 | 6 | 2014 |
De Morgan clones and four-valued logics A Přenosil Algebra universalis 82 (2), 30, 2021 | 5 | 2021 |
Lattice-ordered pregroups are semi-distributive N Galatos, P Jipsen, M Kinyon, A Přenosil Algebra universalis 82, 1-6, 2021 | 5 | 2021 |
Contradictory information as a basis for rational belief A Přenosil Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017 …, 2017 | 5 | 2017 |
Semisimplicity, Glivenko theorems, and the excluded middle T Lávička, A Přenosil arXiv preprint arXiv:2101.03528, 2021 | 4 | 2021 |
The inconsistency predicate on De Morgan lattices A Přenosil Acta Universitatis Carolinae Philosophica et Historica 23 (2), 45-61, 2017 | 3 | 2017 |
Reductio ad contradictionem: an algebraic perspective A Přenosil Studia Logica 104 (3), 389-415, 2016 | 3 | 2016 |
On the structure of balanced residuated partially ordered monoids S Bonzio, J Gil-Férez, P Jipsen, A Přenosil, M Sugimoto International Conference on Relational and Algebraic Methods in Computer …, 2024 | 2 | 2024 |
On the structure of balanced residuated posets P Jipsen, A Prenosil, M Sugimoto Topology, Algebra, and Categories in Logic 2024 Conference, Barcelona, 2024 | 2 | 2024 |
Consistency, completeness, and classicality A Přenosil New Essays on Belnap-Dunn Logic, 255-278, 2019 | 2 | 2019 |
Embedding lattice-ordered bi-monoids in involutive commutative residuated lattices N Galatos, A Prenosil Logic, Algebra and Truth Degrees, 4-4, 2018 | 2 | 2018 |
Sequent Calculi for First-order F Paoli, A Přenosil Journal of Philosophical Logic 53 (5), 1291-1320, 2024 | 1 | 2024 |
Filter classes of upsets of distributive lattices A Přenosil Order 41 (2), 365-390, 2024 | 1 | 2024 |
Logics of upsets of De Morgan lattices A Přenosil Mathematical Logic Quarterly 69 (4), 419-445, 2023 | 1 | 2023 |