Axiomatization of the Logic Determined by the System of Natural Numbers with Identity.

Beata Bugajska-Jaszczolt Tadeusz Prucnal

Published in: Reports Math. Log. (1994)

Keyphrases

logic programming
real world
modal logic
classical logic
artificial intelligence
social networks
situation calculus
multi valued
social context
identity management
deontic logic
complete axiomatization