Ein Vollständigkeitsbeweis für schnittfreie Kalküle mit der Maximalisierungsmethode von Henkin.
Archiv für mathematische Logik und Grundlagenforschung (1982)
- Volume: 22, page 159-166
- ISSN: 0003-9268
Access Full Article
top
How to cite
topGlubrecht, Jürgen-Michael. "Ein Vollständigkeitsbeweis für schnittfreie Kalküle mit der Maximalisierungsmethode von Henkin.." Archiv für mathematische Logik und Grundlagenforschung 22 (1982): 159-166. <http://eudml.org/doc/137998>.
@article{Glubrecht1982,
author = {Glubrecht, Jürgen-Michael},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {completeness; sequent calculus without cut rule; maximally consistent sets},
pages = {159-166},
title = {Ein Vollständigkeitsbeweis für schnittfreie Kalküle mit der Maximalisierungsmethode von Henkin.},
url = {http://eudml.org/doc/137998},
volume = {22},
year = {1982},
}
TY - JOUR
AU - Glubrecht, Jürgen-Michael
TI - Ein Vollständigkeitsbeweis für schnittfreie Kalküle mit der Maximalisierungsmethode von Henkin.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1982
VL - 22
SP - 159
EP - 166
KW - completeness; sequent calculus without cut rule; maximally consistent sets
UR - http://eudml.org/doc/137998
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.