Ein Vollständigkeitsbeweis Für Schnittfreie Kalküle Mit Der Maximalisierungsmethode Von Henkin

DOI10.1007/BF02297654zbMath0496.03002OpenAlexW161557672MaRDI QIDQ3960817

Jürgen-Michael Glubrecht

Publication date: 1982

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137998

zbMATH Keywords

completenessmaximally consistent setssequent calculus without cut rule

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (1)

Completeness of a cut-free calculus with equality and function constants

This page was built for publication: Ein Vollständigkeitsbeweis Für Schnittfreie Kalküle Mit Der Maximalisierungsmethode Von Henkin