On the semantics of the universal quantifier

DOI10.1016/S0168-0072(96)00051-6zbMath0883.03052MaRDI QIDQ1371430

Djordje Čubrić

Publication date: 23 February 1998

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

zbMATH Keywords

fibrationsproof theorycategorical semanticscompleteness theoremsYoneda embeddingfragment of intuitionistic logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Fibered categories (18D30) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Combining first order algebraic rewriting systems, recursion and extensional lambda calculi ⋮ Coherence in linear predicate logic

Uses Software

• Automath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An application of open maps to categorical logic
• Yoneda structures on 2-categories
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1
• On the rules of suppositions in formal logic
• Locally cartesian closed categories and type theory
• Fibered categories and the foundations of naive category theory
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Adjointness in Foundations
• Categories for Types
• The virtues of eta-expansion
• Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi

This page was built for publication: On the semantics of the universal quantifier