Login / Signup
The Class of all 3-valued Implicative Expansions of Kleene?s Strong Logic Containing Anderson and Belnap's First Degree Entailment Logic.
Gemma Robles
Published in:
FLAP (2021)
Keyphrases
</>
logic programming
multi valued
classical logic
modal logic
propositional logic
probabilistic logic
computational properties
predicate logic
sound and complete axiomatization
multi agent systems
valued semantics
minimal models
deontic logic
t norm
possibilistic logic
logical framework
logic programs