Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics

Autor(en):

Piecha, Thomas; Schroeder-Heister, Peter

Tübinger Autor(en):

Erschienen in:

Studia Logica (2019), Bd. 107, H. SI, S. 233-246

Verlagsangabe:

Springer

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1572-8730

DDC-Klassifikation:

510 - Mathematik
610 - Medizin, Gesundheit
004 - Informatik
300 - Sozialwissenschaften, Soziologie, Anthropologie

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: