Logical systems. I: Internal calculi.

DOI10.1016/J.JPAA.2016.07.004zbMATH Open1370.03086OpenAlexW2501968317MaRDI QIDQ326587FDOQ326587

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

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

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)

Cites Work

• Title not available (Why is that?)
• Categorical logic and type theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical semantics for higher order polymorphic lambda calculus
• Title not available (Why is that?)
• Institutions: abstract model theory for specification and programming
• Title not available (Why is that?)
• Higher Topos Theory (AM-170)
• Introduction to bicategories
• Codescent objects and coherence
• Yoneda structures from 2-toposes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Catégories structurées
• Foundations of algebraic specification and formal software development.
• Title not available (Why is that?)
• Comparing Cartesian closed categories of (core) compactly generated spaces
• A convenient category of topological spaces
• Quasi-varieties in abstract algebraic institutions
• A small complete category
• Comprehension categories and the semantics of type dependency
• Categorical and combinatorial aspects of descent theory
• On completeness and cocompleteness in and around small categories
• Title not available (Why is that?)
• Data, Schema, Ontology and Logic Integration
• An Institution-independent Generalization of Tarski's Elementary Chain Theorem
• General function spaces, products and continuous lattices
• Title not available (Why is that?)
• Coherence for tricategories
• Title not available (Why is that?)
• Institution morphisms

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)