Skip to search formSkip to main contentSkip to account menu

Categorical logic

Known as: Mitchell-Bénabou language, Internal language, Categorical semantics 
Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
Cartesian closed categoryCategorical set theoryCategory theoryCurry–Howard correspondence

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Homunculus' Brain and Categorical Logic
The interaction between syntax (formal language) and its semantics (meanings of language) is one which has been well studied in… 
2016
2016
A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
Abstract Categorical compositional distributional semantics is a model of natural language; it combines the statistical vector… 
2012
2012
Isomorphic Interpreters from Logically Reversible Abstract Machines
In our previous work, we developed a reversible programming language and established that every computation in it is a (partial… 
2008
2008
The Paradox of Clarity: Defending the Missing Inference Theory
can be uttered when both the speaker and the hearer are looking at a picture of a woman wearing a lab coat and a stethoscope… 
2006
2006
Automatic Performance Optimization of the Discrete Fourier Transform on Distributed Memory Computers
This paper introduces a formal framework for automatically generating performance optimized implementations of the discrete… 
2006
2006
Long Term Requirements for Cognitive Robotics
This paper discusses some of the long term objectives of cognitive robotics and some of the requirements for meeting those… 
1998
1998
A Simple Neural Network Models Categorical Perception of Facial Expressions
The performance of a neural network that categorizes facial expressions is compared with human subjects over a set of experiments… 
Review
1996
Review
1996
Enriched Categories as Models of Computation
In this paper we discuss a general methodology to provide a categorical semantics for a wide class of computational systems… 
1995
1995
Categorical Fixed Point Calculus
A number of lattice-theoretic fixed point rules are generalised to category theory and applied to the construction of… 
1987
1987
Predicting success of a beginning computer course using logistic regression (abstract only)
Enrollment in computer science classes have grown at an alarming rate despite often inadequate university resources and a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)