scientific article; zbMATH DE number 1342281

MaRDI QIDQ4263871zbMATH OpenFDO

Authors Masahito Hasegawa

Publication date 22 September 1999

zbMATH Keywords

categorical glueing constructioncategory-theoretic modelsfragments of intuitionistic linear logicfree symmetric monoidal cocompletionKripke-like parameterized logical predicatestranslations between linear type theories

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Categorical logic, topoi (03G30)

Recommendations

• Classical predicative logic-enriched type theories
• Intensional logic and two-sorted type theory
• scientific article; zbMATH DE number 45491
• Logical relations and the typed λ-calculus
• scientific article; zbMATH DE number 3521950
• Automata, Languages and Programming
• scientific article; zbMATH DE number 1424039
• Type logics and pregroups
• Multimodal and intuitionistic logics in simple type theory
• Justification logic and type theory as formalizations of intuitionistic propositional logic

Cited in

(12)

• Type-directed specialization of polymorphism.
• Relative full completeness for bicategorical Cartesian closed structure
• Domain-theoretical models of parametric polymorphism
• Type logics and pregroups
• Weyl's predicative classical mathematics as a logic-enriched type theory
• A categorical semantics for linear logical frameworks
• scientific article; zbMATH DE number 3878894 (Why is no real title available?)
• scientific article; zbMATH DE number 45491 (Why is no real title available?)
• Girard translation and logical predicates
• Normalization by evaluation for the lambek calculus
• Syntactically and semantically regular languages of -terms coincide through logical relations
• Pseudo-distributive laws and axiomatics for variable binding

This page was built for publication:

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