A categorical model of predicate linear logic

DOI10.17512/JAMCM.2015.1.03MaRDI QIDQ2201096zbMATH OpenOpenAlexFDO

Authors Emília Demeterová, Daniel Mihályi, Valerie Novitzká

Publication date 25 September 2020

Published in Journal of Applied Mathematics and Computational Mechanics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.17512/jamcm.2015.1.03

zbMATH Keywords

symmetric monoidal closed categorylinear type theorypredicate linear logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites work

• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• Categorical models of logical systems in the mathematical theory of programming
• Categorical semantics of linear logic
• Linear logic
• Quantales and (noncommutative) linear logic
• Towards the knowledge in coalgebraic model of IDS

Cited in

(3)

• Minimal Categorical System and Predication Theory In Porphyry
• Computer Science Logic
• scientific article; zbMATH DE number 4202257 (Why is no real title available?)

This page was built for publication: A categorical model of predicate linear logic

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