The logic of structures

DOI10.1016/0022-4049(92)90123-WMaRDI QIDQ1196790zbMATH OpenFDO

Authors 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

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

Recommendations

• A global glance on categories in logic
• Accessible Categories: The Foundations of Categorical Model Theory
• scientific article; zbMATH DE number 2134910
• Finitary sketches and finitely accessible categories
• Pointwise inductive limits in accessible categories

Cites work

• scientific article; zbMATH DE number 3849206 (Why is no real title available?)
• scientific article; zbMATH DE number 3819974 (Why is no real title available?)
• scientific article; zbMATH DE number 3826063 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3908650 (Why is no real title available?)
• scientific article; zbMATH DE number 4012855 (Why is no real title available?)
• scientific article; zbMATH DE number 4093718 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 4125650 (Why is no real title available?)
• scientific article; zbMATH DE number 4128423 (Why is no real title available?)
• scientific article; zbMATH DE number 3801532 (Why is no real title available?)
• scientific article; zbMATH DE number 3311793 (Why is no real title available?)
• scientific article; zbMATH DE number 3344729 (Why is no real title available?)
• scientific article; zbMATH DE number 3394391 (Why is no real title available?)
• Accessible Categories: The Foundations of Categorical Model Theory
• Cartesian closed categories of algebraic cpos
• Categories localement multipresentables
• Categories of embeddings
• Linear logic
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Normal functors, power series and -calculus
• Quantitative domains, groupoids and linear logic

Cited in

(16)

• Interactive Logical Structures
• Logic and structure
• Structures of logic in policy and theory: identifying sub-systemic bricks for investigating, building, and understanding conceptual systems
• Accessible categories with a class of limits
• Quasi-coproducts and accessible categories with wide pullbacks
• Logic and structure.
• scientific article; zbMATH DE number 1264287 (Why is no real title available?)
• scientific article; zbMATH DE number 4125650 (Why is no real title available?)
• scientific article; zbMATH DE number 1022261 (Why is no real title available?)
• scientific article; zbMATH DE number 1264285 (Why is no real title available?)
• scientific article; zbMATH DE number 218501 (Why is no real title available?)
• A global glance on categories in logic
• scientific article; zbMATH DE number 6163273 (Why is no real title available?)
• scientific article; zbMATH DE number 672104 (Why is no real title available?)
• scientific article; zbMATH DE number 7063489 (Why is no real title available?)
• Syntactic characterizations of closure under pullbacks and of locally polypresentable categories

This page was built for publication: The logic of structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1196790)