Adam Prenosil

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 8

Top Topics

Cut Elimination

Expressive Power

Top Venues

Advances in Modal Logic

Publications

Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
On the Structure of Balanced Residuated Partially Ordered Monoids. RAMiCS (2024)
Adam Prenosil
The Lattice of Super-Belnap Logics. Rev. Symb. Log. 16 (1) (2023)
Adam Prenosil
Logics of upsets of De Morgan lattices. Math. Log. Q. 69 (4) (2023)
Adam Prenosil
Contradictory Information as a Basis for Rational Belief. LORI (2017)
Adam Prenosil
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics. Stud Logica 105 (6) (2017)
Hugo Albuquerque, Adam Prenosil, Umberto Rivieccio
An Algebraic View of Super-Belnap Logics. Stud Logica 105 (6) (2017)
Adam Prenosil
Constructing Natural Extensions of Propositional Logics. Stud Logica 104 (6) (2016)
Adam Prenosil
Reductio ad contradictionem: An Algebraic Perspective. Stud Logica 104 (3) (2016)
Adam Prenosil
A Duality for Distributive Unimodal Logic. Advances in Modal Logic (2014)