Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction.
Uwe PetersenPublished in: Stud Logica (2000)
Keyphrases
- horn logic
- high level
- asynchronous circuits
- predicate logic
- belief change
- nonmonotonic logics
- bounded model checking
- classical logic
- logical framework
- logic programming
- probabilistic logic
- multi valued
- digital circuits
- expressive power
- data abstraction
- formal theory
- dynamic logic
- logic synthesis
- knowledge representation
- data model