A categorical semantic for the Typed Epsilon Calculus
Logic
2014-09-09 v1
Authors:
Fabio Pasquali
Abstract
We show that every boolean category satisfying AC provides a categorical semantic of the typed Epsilon calculus.
Cite
@article{arxiv.1409.2467,
title = {A categorical semantic for the Typed Epsilon Calculus},
author = {Fabio Pasquali},
journal= {arXiv preprint arXiv:1409.2467},
year = {2014}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Reasoning in the Description Logic ALC under Category Semantics
Ludovic Brieulle, Chan Le Duc, Pascal Vaillant
2022-05-17
Category Theory · Mathematics
Atomic toposes and countable categoricity
Olivia Caramello
2013-04-26
Logic in Computer Science · Computer Science
A Categorical Semantics for Linear Logical Frameworks
Matthijs Vákár
2026-05-07
Logic · Mathematics
Semantics and Proof Theory of the Epsilon Calculus
Richard Zach
2022-01-31
cmp-lg · Computer Science
A Labelled Analytic Theorem Proving Environment for Categorial Grammar
Saturnino F. Luz-Filho, Patrick Sturt
2008-02-03
Logic · Mathematics
Homotopy Theoretic Models of Type Theory
Peter Arndt, Chris Kapulkin
2012-08-30
Logic · Mathematics
Algebraic Semantics for the Logic of Proofs
Amir Farahmand Parsa, Meghdad Ghari
2025-01-17
Logic in Computer Science · Computer Science
Category-theoretical Semantics of the Description Logic ALC (extended version)
Chan Le Duc
2022-04-19
Category Theory · Mathematics
Equivalence of the categories of categorical groups and cssc-crossed modules
Tamar Datuashvili, Osman Mucuk, Nazmiye Alemdar, Tunçar Şahan
2025-09-03
Logic · Mathematics
An analogue of the Baire Category Theorem
Philipp Hieronymi
2013-01-29
Algebraic Topology · Mathematics
The Quillen model category of topological spaces
Philip S. Hirschhorn
2017-10-24
Category Theory · Mathematics
Unification of Modal Logic via Topological Categories
Lingyuan Ye
2023-08-01
Quantum Algebra · Mathematics
Classification of Metaplectic Modular Categories
Eddy Ardonne, Meng Cheng, Eric C. Rowell, Zhenghan Wang
2017-03-13
cmp-lg · Computer Science
From compositional to systematic semantics
Wlodek Zadrozny
2008-02-03
Logic in Computer Science · Computer Science
Categorical Models for a Semantically Linear Lambda-calculus
Marco Gaboardi, Mauro Piccolo
2010-03-30
Logic in Computer Science · Computer Science
A Categorical Model for the Lambda Calculus with Constructors
Barbara Petit
2012-03-06
Logic · Mathematics
A completeness result for the simply typed $\lambda\mu$-calculus
Karim Nour, Khelifa Saber
2009-05-05
Logic in Computer Science · Computer Science
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
Alejandro Díaz-Caro, Octavio Malherbe
2023-06-22
Computation and Language · Computer Science
A Compositional Typed Semantics for Universal Dependencies
Laurestine Bradford, Timothy John O'Donnell, Siva Reddy
2024-03-05
Algebraic Geometry · Mathematics
Categorification of sheaf theory
Germán Stefanich
2025-11-13
Programming Languages · Computer Science
Multicategorical Semantics for Untyped Effects
Ariel Grunfeld, Liron Cohen
2026-05-21
Cryptography and Security · Computer Science
Categorical interpretations of some key agreement protocols
Nick Inassaridze, Manuel Ladra, Tamaz Kandelaki
2011-10-25
Logic in Computer Science · Computer Science
Denotational Semantics of the Simplified Lambda-Mu Calculus and a New Deduction System of Classical Type Theory
Ken Akiba
2016-06-22
Logic · Mathematics
Classical theorems in the Implicational Propositional Calculus
P. L. Robinson
2016-02-09
Category Theory · Mathematics
The logic of message passing
J. R. B. Cockett, Craig Pastro
2010-03-03