An algorithm for dual transformation in first-order logic

DOI10.1023/A:1011917032470zbMATH Open0991.03015MaRDI QIDQ5956118

Guilherme Bittencourt, Isabel Tonin

Publication date: 19 February 2002

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

theorem provingfirst-order logicknowledge representationconcurrent algorithmdual transformationtransformation between conjunctive and disjunctive canonical forms

Mathematics Subject Classification ID

Knowledge representation (68T30) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Related Items (1)

A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic

Uses Software

• LISP

This page was built for publication: An algorithm for dual transformation in first-order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5956118)