:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Madanshekaf, Ali, Přenosil, Adam, Seresti, Zeinab Khanjanzadeh, Tsinakis, Constantine
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2404.04347
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Nagata products of bimodules over residuated lattices
by: Přenosil, Adam, et al.
Published: (2025)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
by: Přenosil, Adam
Published: (2024)

Pointed lattice subreducts of varieties of residuated lattices
by: Přenosil, Adam
Published: (2023)

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

Duality for finitely valued algebras
by: Abbadini, Marco, et al.
Published: (2025)

Equational definitions of logical filters
by: Baldi, Michele Pra, et al.
Published: (2024)

Application of Hohle's Square Roots on Hoop Algebras
by: Madanshekaf, Ali, et al.
Published: (2024)

On the structure of balanced residuated partially ordered monoids
by: Bonzio, Stefano, et al.
Published: (2024)

Ordinal measures of the set of finite multisets
by: Vialard, Isa
Published: (2023)

Balanced residuated partially ordered semigroups
by: Bonzio, Stefano, et al.
Published: (2025)

Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)

Stabilized profunctors and stable species of structures
by: Fiore, Marcelo, et al.
Published: (2023)

Model Equivalences
by: Benedikt, Michael, et al.
Published: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
Published: (2024)

Towards Term-based Verification of Diagrammatic Equivalence
by: Cailler, Julie, et al.
Published: (2026)

On two consequences of CH established by Sierpinski. II
by: Pol, Roman, et al.
Published: (2024)

Type Theory With Erasure
by: Theocharis, Constantine, et al.
Published: (2026)

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
by: Kolesar, John, et al.
Published: (2025)

Equivalents of NOTOP
by: Laskowski, Michael C., et al.
Published: (2025)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
by: Suzuki, Yudai, et al.
Published: (2024)

Stuttering Equivalence for Parity Games
by: Cranen, Sjoerd, et al.
Published: (2011)

Interaction Equivalence
by: Accattoli, Beniamino, et al.
Published: (2024)

Graded Monads and Behavioural Equivalence Games
by: Ford, Chase, et al.
Published: (2022)

On the local consequence of modal Product logic: standard completeness and decidability
by: Vidal, Amanda
Published: (2023)

A Unifying Approach to Probabilistic Testing Equivalences
by: Chen, Weijun, et al.
Published: (2025)

Combining fixpoint and differentiation theory
by: Galal, Zeinab, et al.
Published: (2024)

Fixpoint constructions in focused orthogonality models of linear logic
by: Fiore, Marcelo, et al.
Published: (2023)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
by: Spreen, Dieter
Published: (2025)

Towards Counting Markov Equivalence Classes with Logical Constraints
by: Bizzaro, Davide, et al.
Published: (2024)

Confirming the Null: Remarks on Equivalence Testing and the Topology of Confirmation
by: Dale, Reid
Published: (2024)

Automating Bitvector and Finite Field Equivalence Proofs in Lean
by: Pertseva, Elizaveta, et al.
Published: (2026)

A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
Published: (2024)

Modest Sets are Equivalent to PERs
by: Chhabra, Rahul
Published: (2024)

Product of Invariant Types Modulo Domination-Equivalence
by: Mennuni, Rosario
Published: (2018)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
by: Vehlken, Fabian, et al.
Published: (2026)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
by: Charalambidis, Angelos, et al.
Published: (2026)

The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
by: Hirvonen, Minna
Published: (2023)

da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems
by: Rocha, Gabriel
Published: (2026)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
by: Cesco, Arnaldo, et al.
Published: (2021)