Cover Image

Linear Realisability and Implicative Algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lucquin, Alexandre, Pellissier, Luc, Seiller, Thomas
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Linear Realisability over nets: multiplicatives (long version)
by: Ragot, Adrien, et al.
Published: (2024)

Zeta Functions and the (Linear) Logic of Markov Processes
by: Seiller, Thomas
Published: (2020)

Unifying lower bounds for algebraic machines, semantically
by: Seiller, Thomas, et al.
Published: (2018)

Mathematical Informatics: Algorithms
by: Seiller, Thomas
Published: (2026)

The exponential logic of sequentialization
by: Alcolei, Aurore, et al.
Published: (2023)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Paraconsistent Relations as a Variant of Kleene Algebras
by: Cunha, Juliana, et al.
Published: (2025)

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

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)

On the Impact of the Communication Model on Realisability
by: Di Giusto, Cinzia, et al.
Published: (2025)

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

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

Infinite trees
by: Goy, Alexandre
Published: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

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)

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

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

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

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

From Differential Linear Logic to Coherent Differentiation
by: Ehrhard, Thomas
Published: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

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

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)

Model-theoretic Forcing in Transition Algebra
by: Hashimoto, Go, et al.
Published: (2025)

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

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

From Partial to Monadic: Combinatory Algebra with Effects
by: Cohen, Liron, et al.
Published: (2025)

Completeness of Finitely Weighted Kleene Algebra With Tests
by: Sedlár, Igor
Published: (2024)

Initial Algebra Correspondence under Reachability Conditions
by: Kori, Mayuko, et al.
Published: (2025)

Variable Elimination as Rewriting in a Linear Lambda Calculus
by: Ehrhard, Thomas, et al.
Published: (2025)

Linear Arboreal Categories
by: Abramsky, Samson, et al.
Published: (2023)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
by: Mio, Matteo, et al.
Published: (2023)

A General Completeness Theorem for Skip-free Star Algebras
by: Kappé, Tobias, et al.
Published: (2025)