Search Results - "Přenosil, Adam"

Filter Classes of Upsets of Distributive Lattices by Přenosil, Adam

“…Let us say that a class of upward closed sets (upsets) of distributive lattices is a finitary filter class if it is closed under homomorphic preimages,…”
Get full text

De Morgan clones and four-valued logics by Přenosil, Adam

“…We study clones on a four-element set related to the clone DMA of all term functions of the subdirectly irreducible four-element De Morgan algebra DM 4 . We…”
Get full text

Lattice-ordered pregroups are semi-distributive by Galatos, Nick, Jipsen, Peter, Kinyon, Michael, Přenosil, Adam

“…We prove that the lattice reduct of every lattice-ordered pregroup is semidistributive. This is a consequence of a certain weak form of the distributive law…”
Get full text

The inconsistency predicate on De Morgan lattices by Přenosil, Adam

“…We consider expansions of De Morgan lattices by an additional unary predicate interpreted in each De Morgan lattice by the ideal generated by all elements of…”
Get full text

From partially ordered monoids to partially ordered groups via free nuclear preimages by Přenosil, Adam

“…Two fundamental constructions operating on residuated lattices and partially ordered monoids (pomonoids) are nuclear images and conuclear images. Nuclear…”
Get full text

Pointed Lattice Subreducts of Varieties of Residuated Lattices by Přenosil, Adam

“…We study the pointed lattice subreducts of varieties of residuated lattices (RLs) and commutative residuated lattices (CRLs), i.e. lattice subreducts expanded…”
Get full text

Logics of upsets of De Morgan lattices by Přenosil, Adam

“…We study logics determined by matrices consisting of a De Morgan lattice with an upward closed set of designated values, such as the logic of non‐falsity…”
Get full text

Complemented MacNeille completions and algebras of fractions by Galatos, Nick, Přenosil, Adam

“…We introduce (ℓ-)bimonoids as ordered algebras consisting of two compatible monoidal structures on a partially ordered (lattice-ordered) set. Bimonoids form an…”
Get full text

Sequent Calculi for First-order ST by Paoli, Francesco, Přenosil, Adam

“…Strict-Tolerant Logic ( ST ) underpins naïve theories of truth and vagueness (respectively including a fully disquotational truth predicate and an unrestricted…”
Get full text

Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics by Přenosil, Adam

“…We develop a Gentzen-style proof theory for super-Belnap logics (extensions of the four-valued Dunn-Belnap logic), expanding on an approach initiated by Pynko…”
Get full text

Constructing Natural Extensions of Propositional Logics by Přenosil, Adam

“…The proofs of some results of abstract algebraic logic, in particular of the transfer principle of Czelakowski, assume the existence of so-called natural…”
Get full text

Sequent Calculi for First-order $$\textrm{ST} by Paoli, Francesco, Přenosil, Adam

“…Strict-Tolerant Logic ( $$\textrm{ST}$$ ST ) underpins naïve theories of truth and vagueness (respectively including a fully disquotational truth predicate and…”
Get full text

Reductio ad contradictionem: An Algebraic Perspective by Přenosil, Adam

“…We introduce a novel expansion of the four-valued Belnap–Dunn logic by a unary operator representing reductio ad contradictionem and study its algebraic…”
Get full text

An Algebraic View of Super-Belnap Logics by Albuquerque, Hugo, Přenosil, Adam, Rivieccio, Umberto

“…The Belnap-Dunn logic (also known as First Degree Entailment, or FDE) is a well-known and well-studied four-valued logic, but until recently little has been…”
Get full text

The inconsistency predicate on De Morgan lattices by Přenosil, Adam

“…We consider expansions of De Morgan lattices by an additional unary predicate interpreted in each De Morgan lattice by the ideal generated by all elements of…”
Get full text

Levin's and Prucnal's theorems on Medvedev's logic of finite problems by Přenosil, Adam

“…The purpose of this note is to provide a transparent and unified retelling of both Skvortsov's proof of the structural completeness of Medvedev's logic of…”
Get full text

Compatibility between modal operators in distributive modal logic by Přenosil, Adam

“…Unlike in classical modal logic, in non-classical modal logics the box and diamond operators frequently fail to be interdefinable. Instead, these logics impose…”
Get full text

Pointed lattice subreducts of varieties of residuated lattices by Přenosil, Adam

“…We study the pointed lattice subreducts of varieties of residuated lattices (RLs) and commutative residuated lattices (CRLs), i.e. lattice subreducts expanded…”
Get full text

Logics of upsets of De Morgan lattices by Přenosil, Adam

“…We study logics determined by matrices consisting of a De~Morgan lattice with an upward closed set of designated values, such as the logic of non-falsity…”
Get full text

From partially ordered monoids to partially ordered groups via free nuclear preimages by Přenosil, Adam

“…Two fundamental constructions operating on residuated lattices and partially ordered monoids (pomonoids) are so-called nuclear images and conuclear images…”
Get full text