Login / Signup
The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant.
Gemma Robles
Published in:
Log. J. IGPL (2008)
Keyphrases
</>
sound and complete axiomatization
multi valued
truth values
horn clauses
first order logic
probabilistic logic
logic programming
proof procedure
linearly ordered
belief revision
modal logic
propositional logic
classical logic
predicate logic
deductive reasoning