Provability multilattice logic.

Yaroslav I. Petrukhin

Published in: J. Appl. Non Class. Logics (2022)

Keyphrases

logic programming
modal logic
computational properties
classical logic
logical framework
knowledge base
search algorithm
multi valued
asynchronous circuits
predicate logic
digital circuits
set theory
horn clauses
real time
knowledge representation
probabilistic model
machine learning
data sets