Login / Signup
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.
Gemma Robles
José M. Méndez
Published in:
J. Appl. Non Class. Logics (2019)
Keyphrases
</>
nonmonotonic logics
propositional logic
high level
neural network
logic programming
formal semantics
databases
singular value decomposition
default logic
valued semantics
default reasoning
linear algebra
epistemic logic