Follow
Adam Prenosil
Adam Prenosil
Verified email at unica.it - Homepage
Title
Cited by
Cited by
Year
An algebraic view of super-Belnap logics
H Albuquerque, A Přenosil, U Rivieccio
Studia Logica 105, 1051-1086, 2017
342017
The lattice of super-Belnap logics
A Přenosil
The Review of Symbolic Logic 16 (1), 114-163, 2023
152023
Cut elimination, identity elimination, and interpolation in super-Belnap logics
A Přenosil
Studia Logica 105 (6), 1255-1289, 2017
122017
Reasoning with inconsistent information
A Prenosil
PhD thesis, Charles University, Prague, 2018
112018
Constructing natural extensions of propositional logics
A Přenosil
Studia Logica 104 (6), 1179-1190, 2016
72016
Protonegational logics and inconsistency lemmas
T Lávicka, A Prenosil
Proocedings of ManyVal, 2017
62017
A Duality for Distributive Unimodal Logic.
A Prenosil
Advances in modal logic 10, 423-438, 2014
62014
De Morgan clones and four-valued logics
A Přenosil
Algebra universalis 82 (2), 30, 2021
52021
Lattice-ordered pregroups are semi-distributive
N Galatos, P Jipsen, M Kinyon, A Přenosil
Algebra universalis 82, 1-6, 2021
52021
Contradictory information as a basis for rational belief
A Přenosil
Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017 …, 2017
52017
Semisimplicity, Glivenko theorems, and the excluded middle
T Lávička, A Přenosil
arXiv preprint arXiv:2101.03528, 2021
42021
The inconsistency predicate on De Morgan lattices
A Přenosil
Acta Universitatis Carolinae Philosophica et Historica 23 (2), 45-61, 2017
32017
Reductio ad contradictionem: an algebraic perspective
A Přenosil
Studia Logica 104 (3), 389-415, 2016
32016
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
22024
On the structure of balanced residuated posets
P Jipsen, A Prenosil, M Sugimoto
Topology, Algebra, and Categories in Logic 2024 Conference, Barcelona, 2024
22024
Consistency, completeness, and classicality
A Přenosil
New Essays on Belnap-Dunn Logic, 255-278, 2019
22019
Embedding lattice-ordered bi-monoids in involutive commutative residuated lattices
N Galatos, A Prenosil
Logic, Algebra and Truth Degrees, 4-4, 2018
22018
Sequent Calculi for First-order
F Paoli, A Přenosil
Journal of Philosophical Logic 53 (5), 1291-1320, 2024
12024
Filter classes of upsets of distributive lattices
A Přenosil
Order 41 (2), 365-390, 2024
12024
Logics of upsets of De Morgan lattices
A Přenosil
Mathematical Logic Quarterly 69 (4), 419-445, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20