Adam Prenosil

17 papers B 1C 1Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Compatibility between modal operators in distributive modal logic.
Ann. Pure Appl. Log.
Adam Prenosil
2026 J jnl
Equivalence of multiset-based consequence relations.
Ann. Pure Appl. Log.
Ali Madanshekaf, Adam Prenosil, Zeinab Khanjanzadeh Seresti, Constantine Tsinakis
2025 J jnl
Balanced residuated partially ordered semigroups.
CoRR
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
2025 J jnl
Correction: Pointed Lattice Subreducts of Varieties of Residuated Lattices.
Order
Adam Prenosil
2025 J jnl
Equational definitions of logical filters.
Ann. Pure Appl. Log.
Michele Pra Baldi, Adam Prenosil
2025 J jnl
Pointed Lattice Subreducts of Varieties of Residuated Lattices.
Order
Adam Prenosil
2024 J jnl
Filter Classes of Upsets of Distributive Lattices.
Order
Adam Prenosil
2024 C conf
On the Structure of Balanced Residuated Partially Ordered Monoids.
RAMiCS
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
2024 J jnl
Sequent Calculi for First-order rmST.
J. Philos. Log.
Francesco Paoli, Adam Prenosil
2023 J jnl
Logics of upsets of De Morgan lattices.
Math. Log. Q.
Adam Prenosil
2023 J jnl
The Lattice of Super-Belnap Logics.
Rev. Symb. Log.
Adam Prenosil
2017 J jnl
An Algebraic View of Super-Belnap Logics.
Stud Logica
Hugo Albuquerque, Adam Prenosil, Umberto Rivieccio
2017 — conf
Contradictory Information as a Basis for Rational Belief.
LORI
Adam Prenosil
2017 J jnl
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.
Stud Logica
Adam Prenosil
2016 J jnl
Constructing Natural Extensions of Propositional Logics.
Stud Logica
Adam Prenosil
2016 J jnl
Reductio ad contradictionem: An Algebraic Perspective.
Stud Logica
Adam Prenosil
2014 B conf
A Duality for Distributive Unimodal Logic.
Advances in Modal Logic
Adam Prenosil