The Extendible Functional Concepts of Logic And Its Applications for the Classical Logic.

Published in: ICMAI (2021)

Keyphrases

classical logic
logic programming
modal logic
intuitionistic logic
possibilistic logic
commonsense reasoning
autoepistemic logic
default logic
possibility theory
automated theorem proving
valued logic
computer science and artificial intelligence
neural network
logic programs