A Proof Procedure for the First Order Logic

Miodrag Kapetanović; Aleksandar Krapež

Publications de l'Institut Mathématique (1989)

  • Volume: 45(59), Issue: 65, page 3-5
  • ISSN: 0350-1302

How to cite

top

Miodrag Kapetanović, and Aleksandar Krapež. "A Proof Procedure for the First Order Logic." Publications de l'Institut Mathématique 45(59).65 (1989): 3-5. <http://eudml.org/doc/258535>.

@article{MiodragKapetanović1989,
author = {Miodrag Kapetanović, Aleksandar Krapež},
journal = {Publications de l'Institut Mathématique},
keywords = {semantic tableaux method; resolution; proof procedure for classical first order logic; soundness; completeness},
language = {eng},
number = {65},
pages = {3-5},
publisher = {Matematički institut SANU},
title = {A Proof Procedure for the First Order Logic},
url = {http://eudml.org/doc/258535},
volume = {45(59)},
year = {1989},
}

TY - JOUR
AU - Miodrag Kapetanović
AU - Aleksandar Krapež
TI - A Proof Procedure for the First Order Logic
JO - Publications de l'Institut Mathématique
PY - 1989
PB - Matematički institut SANU
VL - 45(59)
IS - 65
SP - 3
EP - 5
LA - eng
KW - semantic tableaux method; resolution; proof procedure for classical first order logic; soundness; completeness
UR - http://eudml.org/doc/258535
ER -

NotesEmbed ?

top

You must be logged in to post comments.