Prelinearity in (quasi-)Nelson logic.

Tommaso Flaminio Umberto Rivieccio

Published in: Fuzzy Sets Syst. (2022)

Keyphrases

logic programming
machine learning
predicate logic
probability theory
automated reasoning
multi valued
probabilistic logic
information retrieval
social networks
case study
set theory
asynchronous circuits
logic synthesis
linear temporal logic