:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Paoli, Francesco, Szmuc, Damian, Borzi, Agustina, Zirattu, Martina
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2603.12175
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Inferentialism and Relevance: The Case of Connexivity
by: Damian Szmuc
Published: (2021)

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

Sequent calculi for first-order ST
by: Paoli, Francesco, et al.
Published: (2026)

De Morgan's law in toposes I
by: Caramello, Olivia, et al.
Published: (2025)

On Some Systems of Equations in Abelian Varieties
by: Gallinaro, Francesco
Published: (2022)

The higher dimensional propositional calculus
by: Bucciarelli, Antonio, et al.
Published: (2022)

Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras
by: Järvinen, Jouni, et al.
Published: (2023)

Bochvar algebras: A categorical equivalence and the generated variety
by: Bonzio, Stefano, et al.
Published: (2024)

Varieties of modal algebras without the congruence extension property
by: Gyenis, Zalán, et al.
Published: (2024)

EL SENTIDO DEL SINSENTIDO
by: Damián E. Szmuc
Published: (2017)

Colimit-Based Composition of High-Level Computing Devices
by: Arellanes, Damian
Published: (2026)

A small remark on small-dimensional normed barrelled spaces
by: Sobota, Damian
Published: (2025)

Compositional Control-Driven Boolean Circuits
by: Arellanes, Damian
Published: (2025)

The Varieties of Ought-Implies-Can and Deontic STIT Logic
by: van Berkel, Kees, et al.
Published: (2026)

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
by: Alpay, Natanael, et al.
Published: (2022)

Construction under Martin's axiom of a Boolean algebra with the Grothendieck property but without the Nikodym property
by: Sobota, Damian, et al.
Published: (2023)

Models of High-Level Computation
by: Arellanes, Damian
Published: (2024)

Stably Embedded Pairs of Ordered Abelian Groups
by: Hils, Martin, et al.
Published: (2023)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

The Relational Quotient Completion
by: Dagnino, Francesco, et al.
Published: (2024)

A Dichotomy Theorem for Ordinal Ranks in MSO
by: Niwiński, Damian, et al.
Published: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
by: Niwiński, Damian, et al.
Published: (2023)

Properties preserved by classes of Chu transforms
by: Parente, Francesco
Published: (2024)

Products of C*-algebras that do not embed into the Calkin algebra
by: Głodkowski, Damian, et al.
Published: (2024)

The Nikodym and Grothendieck properties of Boolean algebras and rings related to ideals
by: Sobota, Damian, et al.
Published: (2025)

The Josefson--Nissenzweig theorem and filters on $ω$
by: Marciszewski, Witold, et al.
Published: (2022)

A Direct Characterisation of Logical Grounds and a Decidability Proof
by: Genco, Francesco A.
Published: (2025)

Augustus De Morgan, Polymath
Published: (2024)

Quasiminimality of complex powers
by: Gallinaro, Francesco, et al.
Published: (2023)

The QBF Gallery 2023
by: Heisinger, Simone, et al.
Published: (2026)

Symmetries of Dependency Quantified Boolean Formulas
by: Hofstadler, Clemens, et al.
Published: (2024)

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
by: Gao, Dichuan, et al.
Published: (2026)

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
by: Dagnino, Francesco, et al.
Published: (2023)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
by: Jamroga, Wojciech, et al.
Published: (2025)

Reconstructing Abelian Varieties via Model Theory
by: Castle, Benjamin, et al.
Published: (2025)

Dividing Lines between Positive Theories
by: Dmitrieva, Anna, et al.
Published: (2023)

More Church-Rosser Proofs in BELUGA
by: Momigliano, Alberto, et al.
Published: (2024)

Relating DeLP and Default Logic
by: Telma Delladio
Published: (2007)

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

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