We stand with Ukraine  

Adam Prenosil

Orcid: 0000-0003-0377-0783

Affiliations:
  • Czech Academy of Sciences, Institute of Computer Science
  • Charles University in Prague, Department of Logic


According to our database1, Adam Prenosil authored at least 11 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Sequent Calculi for First-order rmST.
[BibTeX]
[DOI]
Francesco Paoli
,
Adam Prenosil
J. Philos. Log., October, 2024

Filter Classes of Upsets of Distributive Lattices.
[BibTeX]
[DOI]
Adam Prenosil
Order, August, 2024

On the Structure of Balanced Residuated Partially Ordered Monoids.
[BibTeX]
[DOI]
Stefano Bonzio
,
José Gil-Férez
,
Peter Jipsen
,
Adam Prenosil
,
Melissa Sugimoto
Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023
Logics of upsets of De Morgan lattices.
[BibTeX]
[DOI]
Adam Prenosil
Math. Log. Q., November, 2023

The Lattice of Super-Belnap Logics.
[BibTeX]
[DOI]
Adam Prenosil
Rev. Symb. Log., March, 2023

2017
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.
[BibTeX]
[DOI]
Adam Prenosil
Stud Logica, 2017

An Algebraic View of Super-Belnap Logics.
[BibTeX]
[DOI]
Hugo Albuquerque
,
Adam Prenosil
,
Umberto Rivieccio
Stud Logica, 2017

Contradictory Information as a Basis for Rational Belief.
[BibTeX]
[DOI]
Adam Prenosil
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016
Constructing Natural Extensions of Propositional Logics.
[BibTeX]
[DOI]
Adam Prenosil
Stud Logica, 2016

Reductio ad contradictionem: An Algebraic Perspective.
[BibTeX]
[DOI]
Adam Prenosil
Stud Logica, 2016

2014
A Duality for Distributive Unimodal Logic.
[BibTeX]
[DOI]
Adam Prenosil
Proceedings of the Advances in Modal Logic 10, 2014


  Loading...