The logic of structures

DOI10.1016/0022-4049(92)90123-WzbMath0763.18001MaRDI QIDQ1196790

Pierre Ageron

Publication date: 16 January 1993

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

normal formslinear logicCartesian closed categoriespresentable categoriesaccessible categoriessketchescategories of modelscontinuous functors

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Cut-elimination and normal-form theorems (03F05) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Graphs, diagram schemes, precategories (18A10) Models of other mathematical theories (03C65) Foundations, relations to logic and deductive systems (18A15)

Related Items (7)

Accessible categories with a class of limits ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Syntactic characterizations of closure under pullbacks and of locally polypresentable categories ⋮ Unnamed Item ⋮ Quasi-coproducts and accessible categories with wide pullbacks ⋮ Unnamed Item

Cites Work

• Linear logic
• Cartesian closed categories of algebraic cpos
• Normal functors, power series and \(\lambda\)-calculus
• Categories localement multipresentables
• Categories of embeddings
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Accessible Categories: The Foundations of Categorical Model Theory
• Quantitative domains, groupoids and linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The logic of structures