Login / Signup
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value.
Gemma Robles
Francisco Salto
José M. Méndez
Published in:
J. Appl. Non Class. Logics (2019)
Keyphrases
</>
nonmonotonic logics
propositional logic
formal semantics
valued semantics
singular values
data sets
real world
logic programming
regular expressions
inference rules
matrix representation