Linear Läuchli semantics

DOI10.1016/0168-0072(95)00017-8MaRDI QIDQ1919529zbMATH OpenOpenAlexFDO

Authors Richard Blute, Philip Scott

Publication date 11 February 1997

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

Full work available at URL https://doi.org/10.1016/0168-0072(95)00017-8

zbMATH Keywords

dinatural transformationsfull completenessfunctorial polymorphismgroup actionsHopf algebraslinear analogue of Läuchli's semantics for intuitionistic logiclogical relationsmultiplicative linear logicnoncommutative logicparametricity

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Cut-elimination and normal-form theorems (03F05) Categorical logic, topoi (03G30)

Recommendations

• \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
• scientific article; zbMATH DE number 1231581
• scientific article; zbMATH DE number 1231512

Cites work

• Appendix: Separability of tensor in Chu categories of vector spaces
• Coherence for compact closed categories
• Coherence in closed categories
• Fully abstract models of typed \(\lambda\)-calculi
• Functorial polymorphism
• Games and full completeness for multiplicative linear logic
• scientific article; zbMATH DE number 431760 (Why is no real title available?)
• scientific article; zbMATH DE number 431763 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 4103048 (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 51906 (Why is no real title available?)
• scientific article; zbMATH DE number 65746 (Why is no real title available?)
• scientific article; zbMATH DE number 3521025 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 517045 (Why is no real title available?)
• scientific article; zbMATH DE number 515743 (Why is no real title available?)
• scientific article; zbMATH DE number 1142318 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 786486 (Why is no real title available?)
• scientific article; zbMATH DE number 3230708 (Why is no real title available?)
• scientific article; zbMATH DE number 3309240 (Why is no real title available?)
• scientific article; zbMATH DE number 3336209 (Why is no real title available?)
• scientific article; zbMATH DE number 3342819 (Why is no real title available?)
• scientific article; zbMATH DE number 3344729 (Why is no real title available?)
• Intensional interpretations of functionals of finite type I
• Kripke-style models for typed lambda calculus
• Lambek's categorical proof theory and Läuchli's abstract realizability
• Linear logic
• Linear logic, coherence and dinaturality
• Logical relations and the typed λ-calculus
• Mechanizing logical relations
• Natural deduction and coherence for weakly distributive categories
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Quantales and (noncommutative) linear logic
• QUASITRIANGULAR HOPF ALGEBRAS AND YANG-BAXTER EQUATIONS
• The structure of multiplicatives

Cited in

(24)

• Exhausting strategies, joker games and full completeness for IMLL with unit
• Chu spaces as a semantic bridge between linear logic and mathematics.
• Feedback for linearly distributive categories: Traces and fixpoints
• Linear future semantics and its implementation
• \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
• Geometrical semantics for linear logic (multiplicative fragment)
• Syntax vs. semantics: A polarized approach
• Modeling linear logic with implicit functions
• scientific article; zbMATH DE number 1231512 (Why is no real title available?)
• scientific article; zbMATH DE number 1231517 (Why is no real title available?)
• The shuffle Hopf algebra and noncommutative full completeness
• scientific article; zbMATH DE number 1342272 (Why is no real title available?)
• Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
• Semantics of linear/modal lambda calculus
• Pregroup grammars, their syntax and semantics
• Proof nets, coends and the Yoneda isomorphism
• Encodings of Turing machines in linear logic
• Bounded Linear Types in a Resource Semiring
• Relational Models for the Lambek Calculus with Intersection and Constants
• Softness of hypercoherences and MALL full completeness
• Coherent phase spaces. Semiclassical semantics
• A categorical semantics for polarized MALL
• Läuchli's completeness theorem from a topos-theoretic perspective

This page was built for publication: Linear Läuchli semantics

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