Resolution calculus for the first order linear logic
From MaRDI portal
Publication:1314284
DOI10.1007/BF01051768zbMath0793.03006MaRDI QIDQ1314284
Publication date: 22 February 1994
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
03B35: Mechanization of proofs and logical operations
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Proof strategies in linear logic, Connection methods in linear logic and proof nets construction, Efficient resource management for linear logic proof search, Proof-search in type-theoretic languages: An introduction, From multiple sequent for additive linear logic to decision procedures for free lattices
Uses Software
Cites Work