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

Authors:
Gianluigi Bellin;Jussi Ketonen
Affiliations:
-;-
Venue:
Theoretical Computer Science
Year:
1992

Citing 0
Cited 3

Two paradigms of logical computation in affine logic?

Logic for concurrency and synchronisation
Proof nets for unit-free multiplicative-additive linear logic

ACM Transactions on Computational Logic (TOCL)
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence

Quantified Score

Hi-index	5.23

Visualization

Abstract