Algebraizability of the Logic of Quasi-N4-Lattices.

Clodomir Silva Lima Neto Thiago Nascimento da Silva Umberto Rivieccio

Published in: NCL (2022)

Keyphrases

modal logic
boolean algebra
logic programming
classical logic
real time
computational properties
sound and complete axiomatization
machine learning
e learning
website
multiscale
knowledge discovery
multi valued
predicate logic
deontic logic