Logical systems. I: Internal calculi.

DOI10.1016/J.JPAA.2016.07.004MaRDI QIDQ326587zbMATH OpenOpenAlexFDO

Authors Michal R. Przybylek

Publication date 12 October 2016

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

Full work available at URL https://doi.org/10.1016/j.jpaa.2016.07.004

zbMATH Keywords

categorical logic2-categoriesdiscretenessFreyd theoreminternal categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Strong almost reducibility for analytic and Gevrey quasi-periodic cocycles
• Categorical models of polymorphism
• An internal language for autonomous categories
• scientific article; zbMATH DE number 4027466
• scientific article; zbMATH DE number 3959364

Cites work

• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4049849 (Why is no real title available?)
• scientific article; zbMATH DE number 3680046 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 6296809 (Why is no real title available?)
• A convenient category of topological spaces
• A small complete category
• An Institution-independent Generalization of Tarski's Elementary Chain Theorem
• Categorical and combinatorial aspects of descent theory
• Categorical logic and type theory
• Categorical semantics for higher order polymorphic lambda calculus
• Categories in categories, and size matters
• Catégories structurées
• Codescent objects and coherence
• Coherence for tricategories
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Comprehension categories and the semantics of type dependency
• Data, Schema, Ontology and Logic Integration
• Foundations of algebraic specification and formal software development.
• General function spaces, products and continuous lattices
• Higher Topos Theory (AM-170)
• Institution morphisms
• Institutions: abstract model theory for specification and programming
• Introduction to bicategories
• On completeness and cocompleteness in and around small categories
• Quasi-varieties in abstract algebraic institutions
• Yoneda structures from 2-toposes

Cited in

(2)

• Categorical properties of logical frameworks
• Strong almost reducibility for analytic and Gevrey quasi-periodic cocycles

This page was built for publication: Logical systems. I: Internal calculi.

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