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 |