From rational Gödel logic to ultrametric logic.

Seyed Amin Khatami Massoud Pourmahdian Nazanin Roshandel Tavana

Published in: J. Log. Comput. (2016)

Keyphrases

logic programming
predicate logic
decision making
automated reasoning
classical logic
real world
multiscale
modal logic
neural network
database
temporal logic
set theory
formal theory
proof theory