Login / Signup
An Algebraic Study of the First Order Version of some Implicational Fragments of Three-Valued Łukasiewicz Logic.
Aldo Figallo Orellano
Juan Sebastian Slagter
Published in:
Computación y Sistemas (2022)
Keyphrases
</>
artificial intelligence
higher order
experimental study
simulation study
database
logic programs
empirical studies
logic programming
first order logic