:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Rosella, Giuliano, Ugolini, Sara
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2407.11740
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generalization of terms via universal algebra
by: Flaminio, Tommaso, et al.
Published: (2025)

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
by: Giustarini, Valeria, et al.
Published: (2024)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

Conditionals Based on Selection Functions, Modal Operators and Probabilities
by: Flaminio, Tommaso, et al.
Published: (2025)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
by: de Groot, Jim, et al.
Published: (2021)

Topological Dualities for Modal Algebras
by: Collinson, Matthew
Published: (2026)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)

Conjunctive Table Algebras
by: Kötters, Jens, et al.
Published: (2024)

Cardinality and Representation of Stone Relation Algebras
by: Furusawa, Hitoshi, et al.
Published: (2023)

Nonembeddings of Combinatory Algebras
by: Lutz, Patrick, et al.
Published: (2026)

A Logic of Stability: Formalizing Similarity in Counterfactual Reasoning
by: Esteves, Marta
Published: (2025)

Morita Rigidity for Kleene Algebras
by: Serafin, Luke
Published: (2025)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

On a Generalization of Heyting Algebras I
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2024)

On a Generalization of Heyting Algebras II
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2024)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
by: Ayhan, Sara
Published: (2025)

A Proof Theory for Profinite Modal Algebras
by: De Berardinis, Matteo, et al.
Published: (2025)

A new categorial equivalence for Stone Algebras
by: Calomino, Ismael, et al.
Published: (2025)

Continuous Algebras with Hypotheses
by: Mulder, Lukas, et al.
Published: (2026)

The Algebra of Iterative Constructions
by: Batz, Kevin, et al.
Published: (2026)

The Algebra of Parity Games
by: Piedeleu, Robin
Published: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
by: Wißmann, Thorsten, et al.
Published: (2024)

Characterizing Finitely Based Abelian Mal'cev Algebras
by: Muro, Mateo
Published: (2024)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
by: Jana, Purbita, et al.
Published: (2025)

Counterfactual Explanations as Plans
by: Belle, Vaishak
Published: (2025)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
by: Ramani, Mahesh, et al.
Published: (2026)

Forcing, Transition Algebras, and Calculi
by: Go, Hashimoto, et al.
Published: (2024)

Linear Realisability and Implicative Algebras
by: Lucquin, Alexandre, et al.
Published: (2026)

Effect Algebras as Omega-categories
by: Perticone, Lorenzo, et al.
Published: (2023)

Induction rules for Transition Algebra
by: Hashimoto, Go
Published: (2026)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
by: Rooduijn, Jan, et al.
Published: (2024)

Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
by: Illmer, Maximilian
Published: (2026)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

A Diagrammatic Algebra for Program Logics
by: Bonchi, Filippo, et al.
Published: (2024)

On Tools for Completeness of Kleene Algebra with Hypotheses
by: Pous, Damien, et al.
Published: (2022)

Compact Quantitative Theories of Convex Algebras
by: Mio, Matteo
Published: (2025)