Logic Programming in a Fragment of Intuitionistic Linear Logic

Information and Computation - United States
doi 10.1006/inco.1994.1036
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Natural Deduction for Intuitionistic Linear Logic

Annals of Pure and Applied Logic
Logic
1995English

Abstract Categorial Parsing as Linear Logic Programming

2015English

Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems

Proceedings - IEEE International Conference on Robotics and Automation
ControlSystems EngineeringElectronic EngineeringElectricalArtificial IntelligenceSoftware
2007English

A Semantic Hierarchy for Intuitionistic Logic

Indagationes Mathematicae
Mathematics
2019English

Logic Programming

1995English

An Active-Constraint Logic for Non-Linear Programming

Optimal Control Applications and Methods
ControlSystems EngineeringApplied MathematicsOptimizationSoftware
1984English

Quantum Logic in the Framework of Linear Logic

Annals of the Japan Association for Philosophy of Science
1996English

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2010English

Closures and Modules Within Linear Logic Concurrent Constraint Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy