Image de couverture de livre

Varieties of De Morgan bisemilattices

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Paoli, Francesco, Szmuc, Damian, Borzi, Agustina, Zirattu, Martina
Format:	Preprint
Publié:	2026
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Inferentialism and Relevance: The Case of Connexivity
par: Damian Szmuc
Publié: (2021)

Sequent calculi for first-order ST
par: Paoli, Francesco, et autres
Publié: (2026)

De Morgan's law in toposes I
par: Caramello, Olivia, et autres
Publié: (2025)

On three-valued presentations of classical logic
par: da Ré, Bruno, et autres
Publié: (2023)

On Some Systems of Equations in Abelian Varieties
par: Gallinaro, Francesco
Publié: (2022)

The higher dimensional propositional calculus
par: Bucciarelli, Antonio, et autres
Publié: (2022)

Varieties of modal algebras without the congruence extension property
par: Gyenis, Zalán, et autres
Publié: (2024)

Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras
par: Järvinen, Jouni, et autres
Publié: (2023)

The Varieties of Ought-Implies-Can and Deontic STIT Logic
par: van Berkel, Kees, et autres
Publié: (2026)

Bochvar algebras: A categorical equivalence and the generated variety
par: Bonzio, Stefano, et autres
Publié: (2024)

Colimit-Based Composition of High-Level Computing Devices
par: Arellanes, Damian
Publié: (2026)

A small remark on small-dimensional normed barrelled spaces
par: Sobota, Damian
Publié: (2025)

Compositional Control-Driven Boolean Circuits
par: Arellanes, Damian
Publié: (2025)

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
par: Alpay, Natanael, et autres
Publié: (2022)

Stably Embedded Pairs of Ordered Abelian Groups
par: Hils, Martin, et autres
Publié: (2023)

Construction under Martin's axiom of a Boolean algebra with the Grothendieck property but without the Nikodym property
par: Sobota, Damian, et autres
Publié: (2023)

Cauchy-completions and the rule of unique choice in relational doctrines
par: Dagnino, Francesco, et autres
Publié: (2024)

The Relational Quotient Completion
par: Dagnino, Francesco, et autres
Publié: (2024)

Properties preserved by classes of Chu transforms
par: Parente, Francesco
Publié: (2024)

Models of High-Level Computation
par: Arellanes, Damian
Publié: (2024)

EL SENTIDO DEL SINSENTIDO
par: Damián E. Szmuc
Publié: (2017)

A Direct Characterisation of Logical Grounds and a Decidability Proof
par: Genco, Francesco A.
Publié: (2025)

A Dichotomy Theorem for Ordinal Ranks in MSO
par: Niwiński, Damian, et autres
Publié: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
par: Niwiński, Damian, et autres
Publié: (2023)

Quasiminimality of complex powers
par: Gallinaro, Francesco, et autres
Publié: (2023)

Dividing Lines between Positive Theories
par: Dmitrieva, Anna, et autres
Publié: (2023)

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
par: Dagnino, Francesco, et autres
Publié: (2023)

The QBF Gallery 2023
par: Heisinger, Simone, et autres
Publié: (2026)

Symmetries of Dependency Quantified Boolean Formulas
par: Hofstadler, Clemens, et autres
Publié: (2024)

Products of C*-algebras that do not embed into the Calkin algebra
par: Głodkowski, Damian, et autres
Publié: (2024)

The Nikodym and Grothendieck properties of Boolean algebras and rings related to ideals
par: Sobota, Damian, et autres
Publié: (2025)

The Josefson--Nissenzweig theorem and filters on $ω$
par: Marciszewski, Witold, et autres
Publié: (2022)

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
par: Gao, Dichuan, et autres
Publié: (2026)

Reconstructing Abelian Varieties via Model Theory
par: Castle, Benjamin, et autres
Publié: (2025)

More Church-Rosser Proofs in BELUGA
par: Momigliano, Alberto, et autres
Publié: (2024)

A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation
par: Genco, Francesco A.
Publié: (2024)

A Logic of Knowledge and Justifications, with an Application to Computational Trust
par: Genco, Francesco A.
Publié: (2024)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
par: Jamroga, Wojciech, et autres
Publié: (2025)

Exponential sums equations and the Exponential Closedness conjecture
par: Aslanyan, Vahagn, et autres
Publié: (2024)

New bounds on the strength of some restrictions of Hindman's Theorem
par: Carlucci, Lorenzo, et autres
Publié: (2017)