A cut-free gentzen-type system for the logic of the weak law of excluded middle.

Branislav R. Boricic

Published in: Stud Logica (1986)

Keyphrases

logic programming
multi valued
cut elimination
horn clauses
sequent calculus
machine learning
information retrieval
search engine
website
image segmentation
relational databases
computational properties
defeasible logic
natural deduction
proof theory
linear time temporal logic