Imagen de Portada

Rings and Boolean Algebras as Algebraic Theories

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	De Faveri, Arturo
Formato:	Preprint
Publicado:	2025
Materias:	Logic Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Groups and Inverse Semigroups in Lambda Calculus
por: Bucciarelli, Antonio, et al.
Publicado: (2026)

Boolean basis, formula size, and number of modal operators
por: Berkholz, Christoph, et al.
Publicado: (2024)

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

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

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

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
por: De Domenico, Andrea, et al.
Publicado: (2024)

Compact Quantitative Theories of Convex Algebras
por: Mio, Matteo
Publicado: (2025)

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
por: Dawar, Anuj, et al.
Publicado: (2026)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
por: Bezem, Marc, et al.
Publicado: (2026)

Topological Dualities for Modal Algebras
por: Collinson, Matthew
Publicado: (2026)

Practical Boolean Decomposition for Delay-driven LUT Mapping
por: Calvino, Alessandro Tempia, et al.
Publicado: (2024)

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
por: Przybocki, Benjamin, et al.
Publicado: (2025)

The Pebble-Relation Comonad in Finite Model Theory
por: Montacute, Yoàv, et al.
Publicado: (2021)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

A Naive Encoding of Russell's Paradox in Type Theory
por: Qu, Zhuoyuan
Publicado: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
por: Geuvers, Herman
Publicado: (2026)

Universal Proof Theory, TACL 2022 Lecture Notes
por: Iemhoff, Rosalie, et al.
Publicado: (2023)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
por: Gratzer, Daniel, et al.
Publicado: (2024)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

Power Term Polynomial Algebra for Boolean Logic
por: Sansone, Emanuele, et al.
Publicado: (2026)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
por: Sabelli, Pietro
Publicado: (2024)

Satisfiability of Quantified Boolean Announcements
por: van Ditmarsch, Hans, et al.
Publicado: (2022)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
por: Barto, Libor, et al.
Publicado: (2021)

On the Boolean Network Theory of Datalog$^\neg$
por: Trinh, Van-Giang, et al.
Publicado: (2025)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
por: Takahashi, Yuta
Publicado: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
por: Ma, Zhifeng, et al.
Publicado: (2024)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
por: Kim, Curie, et al.
Publicado: (2026)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
por: Nakamura, Yoshiki
Publicado: (2025)

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

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
por: Das, Anupam, et al.
Publicado: (2024)

Compositional Control-Driven Boolean Circuits
por: Arellanes, Damian
Publicado: (2025)

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

Structural Analysis of Boolean Equation Systems
por: Keiren, Jeroen, et al.
Publicado: (2010)

On Top-Down Pseudo-Boolean Model Counting
por: Yang, Suwei, et al.
Publicado: (2025)

Undecidability of theories of semirings with fixed points
por: Das, Anupam, et al.
Publicado: (2025)