Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
From MaRDI portal
Publication:1193657
DOI10.1016/0304-3975(92)90300-5zbMath0762.03005MaRDI QIDQ1193657
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
03B10: Classical first-order logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Cites Work