Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic

DOI10.1016/0304-3975(92)90300-5zbMath0762.03005OpenAlexW2065922425MaRDI QIDQ1193657

Kosta Došen

Publication date: 27 September 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90300-5

zbMATH Keywords

BCK logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

The elimination of maximum cuts in linear logic and BCK logic

Cites Work

• Linear logic
• Some Syntactical Observations on Linear Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic