Login / Signup
A non-arithmetical Gödel logic.
Petr Hájek
Published in:
Log. J. IGPL (2005)
Keyphrases
</>
logic programming
predicate logic
multi valued
database
nonmonotonic logics
image sequences
sound and complete axiomatization
automated reasoning
modal logic
logical framework
computational properties
social bookmarking
digital circuits
multi agent systems
abductive reasoning
asynchronous circuits
search algorithm