| Authors: | Kapetanović, Miodrag Krapež, Aleksandar |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | A Proof Procedure for the First Order Logic | Journal: | Publications de l'Institut Mathématique | Volume: | 45 | Issue: | 59 | First page: | 3 | Last page: | 5 | Issue Date: | 1989 | Rank: | M24 | URL: | http://elib.mi.sanu.ac.rs/files/journals/publ/65/n059p003.pdf | Abstract: | A new pro of pro cedure is given for the classical predicate logic which combines variants of the tableaux and resolution methods. Soundness and completeness of the resulting system are proved. |
Publisher: | Mathematical Institute of the Serbian Academy of Sciences and Arts |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.