Buchumschlag

The higher dimensional propositional calculus

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bucciarelli, Antonio, Curien, Pierre-Louis, Ledda, Antonio, Paoli, Francesco, Salibra, Antonino
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Exploring New Topologies for the Theory of Clones
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2023)

Groups and Inverse Semigroups in Lambda Calculus
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2026)

Abstract clones as noncommutative monoids I
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2025)

Birkhoff-style Theorems Through Infinitary Clone Algebras
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2024)

Tableau methodology for propositional logics
von: Jarmuzek, T., et al.
Veröffentlicht: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

Interpolation for the two-way modal mu-calculus
von: Kloibhofer, Johannes, et al.
Veröffentlicht: (2025)

Cut-elimination for the alternation-free modal mu-calculus
von: Afshari, Bahareh, et al.
Veröffentlicht: (2025)

There are (other) ways to negate in propositional team semantics
von: Yang, Fan
Veröffentlicht: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

Set-like operations on propositional logic programs
von: Antić, Christian
Veröffentlicht: (2026)

A concrete model for a typed linear algebraic lambda calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

Wiring the Pi-calculus to Denotational Semantics
von: Sakayori, Ken, et al.
Veröffentlicht: (2026)

Reduction Free Normalisation for a proof irrelevant type of propositions
von: Coquand, Thierry
Veröffentlicht: (2021)

Resource approximation for the $λμ$-calculus
von: Barbarossa, Davide
Veröffentlicht: (2024)

The calculus of neo-Peircean relations
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

A linear linear lambda-calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2022)

An implicit function theorem for the stream calculus
von: Boreale, Michele, et al.
Veröffentlicht: (2023)

Higher order differential calculus in mathlib
von: Gouëzel, Sébastien
Veröffentlicht: (2025)

Approximation theory for distant Bang calculus
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2026)

On the complexity of normalization for the planar $λ$-calculus
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Generating proof systems for three-valued propositional logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
von: Bauer, Esaïe, et al.
Veröffentlicht: (2025)

Formula size game and model checking for modal substitution calculus
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

The decohered ZX-calculus
von: Carette, Titouan, et al.
Veröffentlicht: (2025)

Constructive higher sheaf models with applications to synthetic mathematics
von: Coquand, Thierry, et al.
Veröffentlicht: (2026)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
von: Barbarossa, Davide
Veröffentlicht: (2024)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
von: Komel, Anja Petković, et al.
Veröffentlicht: (2025)

Naturality for higher-dimensional path types
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2025)

Encoding call-by-push-value in the pi-calculus
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2025)

Term rewriting on nestohedra
von: Curien, Pierre-Louis, et al.
Veröffentlicht: (2024)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

A dependently-typed calculus of event telicity and culminativity
von: Kovalev, Pavel, et al.
Veröffentlicht: (2025)

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
von: Mironov, Andrew M.
Veröffentlicht: (2025)

Foundational propositions of hesitant fuzzy soft $β$-covering approximation spaces
von: Lu, Shizhan
Veröffentlicht: (2024)

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

Apartness relations between propositions
von: Kocsis, Zoltan A.
Veröffentlicht: (2022)

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
von: Nogueira, Pablo, et al.
Veröffentlicht: (2022)