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
Access Full Article
top
How to cite
topMiodrag 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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.