Login / Signup
An algebraic study of the first order version of some implicational fragments of the three-valued Lukasiewicz logic.
Aldo Figallo Orellano
Juan Sebastian Slagter
Published in:
CoRR (2020)
Keyphrases
</>
modal logic
higher order
empirical studies
neural network
experimental study
databases
horn clauses
nonmonotonic logics