Kleene's Three Valued Logics and Their Children.
Melvin FittingPublished in: Fundam. Informaticae (1994)
Keyphrases
- nonmonotonic logics
- propositional logic
- inference rules
- valued semantics
- modal logic
- epistemic logic
- young children
- expressive power
- belief revision
- pilot study
- regular expressions
- default logic
- children learn
- school children
- educational software
- primary school
- first order logic
- proof procedures
- consistent query answering
- horn logic
- real time
- educational games
- neural network
- data sets
- defeasible logic
- nonmonotonic reasoning
- modal operators
- computer games
- matching algorithm
- higher order
- learning algorithm