The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant.

Gemma Robles José M. Méndez

Published in: Log. J. IGPL (2008)

Keyphrases

multi valued
sound and complete axiomatization
truth values
first order logic
propositional logic
probabilistic logic
global constraints
modal logic
automated reasoning
horn clauses
predicate calculus
asynchronous circuits
deductive reasoning
propositional variables
linearly ordered
classical first order logic