Syllogistic logic with "Most".

Jörg Endrullis Lawrence S. Moss

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

modal logic
logic programming
defeasible logic
multi valued
automated reasoning
proof theory
asynchronous circuits
mental models
similarity measure
database systems
logical framework
classical logic
decision making
predicate logic
computer vision
natural deduction
real world