Login / Signup
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation.
Gemma Robles
José M. Méndez
Published in:
J. Appl. Non Class. Logics (2021)
Keyphrases
</>
general purpose
automated reasoning