A decision procedure revisited: Notes on direct logic, linear logic and its implementation

DOI10.1016/0304-3975(92)90069-RzbMath0763.03010OpenAlexW2025349135MaRDI QIDQ1186430

Gianluigi Bellin, Jussi Ketonen

Publication date: 28 June 1992

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

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

zbMATH Keywords

linear logicnatural deductiondecision proceduredirect predicate calculusdecidable fragments of predicate calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Causal dependencies in multiplicative linear logic with MIX ⋮ Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials ⋮ Connection methods in linear logic and proof nets construction

Cites Work

• A decidable fragment of predicate calculus
• The semantics and proof theory of linear logic
• The structure of multiplicatives
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item