An Experiment of Randomized Hints on an Axiom of Infinite-Valued Lukasiewicz Logic.

Ruo Ando Yoshiyasu Takefuji

Published in: CoRR (2022)

Keyphrases

modal logic
inference rules
classical logic
temporal logic
epistemic logic
truth values
nonmonotonic logics
valued logic
default logic
multi valued
situation calculus
neural network
modal operators
valued semantics
real time
logical framework
model checking
logic programming
databases