Login / Signup
Incidence Calculus on Lukasiewicz's Three-valued Logic.
Guilin Qi
Peter Milligan
Paul Sage
Published in:
Fundam. Informaticae (2005)
Keyphrases
</>
propositional logic
nonmonotonic logics
proof procedure
modal logic
proof search
truth values
computer algebra
relation algebra
transition systems
sequent calculus
inference rules
databases
epistemic logic
modal operators
multi valued
theorem proving
concurrent systems
temporal logic
logic programming