A categorical model of predicate linear logic

DOI10.17512/JAMCM.2015.1.03OpenAlexW2085362584MaRDI QIDQ2201096FDOQ2201096

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

Publication date: 25 September 2020

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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Quantales and (noncommutative) linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Computer Science Logic
• Title not available (Why is that?)
• Minimal Categorical System and Predication Theory In Porphyry

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)