:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Arellanes, Damian
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science F.1
Online Access:	https://arxiv.org/abs/2402.02602
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Compositional Separation of Control Flow and Data Flow
by: Arellanes, Damian
Published: (2023)

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

Two-Level Type Theory and Applications
by: Annenkov, Danil, et al.
Published: (2017)

Neural networks as fuzzy logic formulas
by: Heiman, Damian, et al.
Published: (2026)

Computation and Size of Interpolants for Hybrid Modal Logics
by: Jung, Jean Christoph, et al.
Published: (2026)

Graph neural networks and MSO
by: Ahvonen, Veeti, et al.
Published: (2025)

On Equivalent Characterizations of NP in Abstract Models of Computation
by: Kirn, Jeremy C., et al.
Published: (2025)

Semi-Substructural Logics à la Lambek
by: Wan, Cheng-Syuan
Published: (2024)

Satisfiability in Łukasiewicz logic and its unbounded relative
by: Haniková, Zuzana, et al.
Published: (2025)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
by: Becker, Justus
Published: (2025)

A Topological Rewriting of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)

Logic of Sets with Atoms
by: Masters, Jake
Published: (2025)

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

Symmetries in Sorting
by: Choudhury, Vikraman, et al.
Published: (2025)

Graded modal logic and counting message passing automata
by: Ahvonen, Veeti, et al.
Published: (2024)

Semantics out of context: nominal absolute denotations for first-order logic and computation
by: Gabbay, Murdoch J.
Published: (2013)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
by: Santo, José Espírito, et al.
Published: (2020)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

Constant time testability of first-order logic with modulo counting on finitary graphs
by: Adler, Isolde, et al.
Published: (2026)

Hardness of busy beaver value BB(15)
by: Stérin, Tristan, et al.
Published: (2021)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
by: Ahvonen, Veeti, et al.
Published: (2024)

New Bounds for the Ideal Proof System in Positive Characteristic
by: Behera, Amik Raj, et al.
Published: (2025)

Expressive Power of Graph Transformers via Logic
by: Ahvonen, Veeti, et al.
Published: (2025)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
by: Ahvonen, Veeti, et al.
Published: (2026)

Computability of the Hahn-Banach Theorem Revisited
by: Brattka, Vasco, et al.
Published: (2026)

A Theory for Probabilistic Polynomial-Time Reasoning
by: Chen, Lijie, et al.
Published: (2026)

Relational Models for the Lambek Calculus with Intersection and Constants
by: Kuznetsov, Stepan L.
Published: (2022)

A Type Theory for Probabilistic and Bayesian Reasoning
by: Adams, Robin, et al.
Published: (2015)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
by: Borzechowski, Manfred, et al.
Published: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
by: Hori, Hiromasa, et al.
Published: (2023)

On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems
by: Xue, Chengfeng, et al.
Published: (2026)

Functions Definable by Numerical Set-Expressions
by: Pratt-Hartmann, Ian, et al.
Published: (2009)

Complex Algebras of Arithmetic
by: Düntsch, Ivo, et al.
Published: (2009)

On the existence of strong proof complexity generators
by: Krajicek, Jan
Published: (2022)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
by: Nakamura, Yuki
Published: (2026)

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)

The Lambda Calculus is Quantifiable
by: Maestracci, Valentin, et al.
Published: (2024)