Adam Přenosil

Available identifiers

zbMath Open prenosil.adamMaRDI QIDQ295912

List of research outcomes

Publication	Date of Publication	Type
Sequent calculi for first-order ST	2024-10-24	Paper
Filter classes of upsets of distributive lattices	2024-10-08	Paper
Logics of upsets of De Morgan lattices	2024-01-02	Paper
Compatibility between modal operators in distributive modal logic	2023-11-16	Paper
Complemented MacNeille completions and algebras of fractions	2023-04-04	Paper
THE LATTICE OF SUPER-BELNAP LOGICS	2023-03-02	Paper
From partially ordered monoids to partially ordered groups via free nuclear preimages	2022-09-20	Paper
Complemented MacNeille completions and algebras of fractions	2021-11-18	Paper
Filter classes of upsets of distributive lattices	2021-11-18	Paper
The lattice of super-Belnap logics	2021-11-18	Paper
From partially ordered monoids to partially ordered groups via free nuclear preimages	2021-11-18	Paper
Four-valued logics of truth, nonfalsity, exact truth, and material equivalence	2021-09-07	Paper
De Morgan clones and four-valued logics	2021-05-06	Paper
Lattice-ordered pregroups are semi-distributive	2021-03-03	Paper
Semisimplicity, Glivenko theorems, and the excluded middle	2021-01-10	Paper
Consistency, Completeness, and Classicality	2020-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4636306	2018-04-23	Paper
An algebraic view of super-Belnap logics	2017-12-14	Paper
Cut elimination, identity elimination, and interpolation in super-Belnap logics	2017-12-14	Paper
Contradictory information as a basis for rational belief	2017-11-22	Paper
Constructing natural extensions of propositional logics	2017-03-02	Paper
Reductio ad contradictionem: an algebraic perspective	2016-06-14	Paper
Pointed lattice subreducts of varieties of residuated lattices	N/A	Paper
Equational definitions of logical filters	N/A	Paper
Equivalence of multiset-based consequence relations	N/A	Paper
Levin's and Prucnal's theorems on Medvedev's logic of finite problems	N/A	Paper

Research outcomes over time

This page was built for person: Adam Přenosil