A Proof of the Standard Completeness for the Involutive Uninorm Logic.

Published in: Symmetry (2019)

Keyphrases

linear logic
proof theory
proof search
machine learning
artificial intelligence
theorem prover
classical logic
natural deduction
logic programming
automated theorem proving
information retrieval
genetic algorithm
multiscale
data quality
multi valued
logical rules