|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
checked on Dec 4, 2023
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.