Pretopology Semantics for Bimodal Intuitionistic Linear Logic.
Chrysafis HartonasPublished in: Log. J. IGPL (1997)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- fixed point
- cut elimination
- desirable properties
- logic programs
- sequent calculus
- answer set programming
- formal semantics
- deductive databases
- reasoning tasks
- proof search
- operational semantics
- classical logic
- high level
- inference rules
- nonmonotonic reasoning
- probabilistic reasoning
- model theoretic
- belief revision
- programming language
- knowledge representation
- data model
- knowledge base