Login / Signup
The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic.
José M. Méndez
Gemma Robles
Published in:
J. Appl. Non Class. Logics (2016)
Keyphrases
</>
logic programming
probabilistic logic
modal logic
predicate logic
classical logic
automated reasoning
multi valued
proof theory
sound and complete axiomatization
information retrieval
np complete
maximum entropy