ViCoLL - a Visual Compositional Logic Language.
Anne HåkanssonLars OestreicherTorsten JonssonAndreas HamfeltPublished in: HCC (2001)
Keyphrases
- formal language
- visual features
- proof theory
- programming language
- visual information
- intuitionistic logic
- language learning
- dynamic logic
- natural language
- conditional logic
- highly expressive
- formal logic
- modal operators
- formal theory
- predicate logic
- concurrent programming
- propositional dynamic logic
- operational semantics
- nonmonotonic logics
- automated reasoning
- default reasoning
- visual perception
- low level
- object oriented
- natural language processing
- visual query language
- programs written
- modal logic
- natural deduction
- constraint language
- object oriented programming
- database language
- linear logic
- multi valued
- defeasible logic