Reports on Mathematical Logic

No. 27 (1993)

Robert H. COWEN


A b s t r a c t. A tableaux method similiar to the Analytic Tableaux of Raymond Smullyan, First-Order Logic, Springer, New York, 1968, is offered for solving a number of combinatorial satisfiability problems. The exact definition of the problems considered requires the notion of satisfiability in a hypergraph first introduced by Cowen, Hypergraph satisfiability, Reports on Mathematical Logic 25(1991), 113-117, and improved upon by Kolany Satisfiability of hypergraphs, Studia Logica, to appear. The introduction of a general duality principle for hypergraph satisfiability leads to a dual tableau method in each instance.

Back to Main Menu