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

DSpace Repository

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

Author: Piecha, Thomas; Schroeder-Heister, Peter
Tübinger Autor(en):
Piecha, Thomas
Schroeder-Heister, Peter
Published in: Studia Logica (2019), Bd. 107, H. SI, S. 233-246
Verlagsangabe: Springer
Language: English
Full text: http://dx.doi.org/10.1007/s11225-018-9823-7
ISSN: 1572-8730
DDC Classifikation: 510 - Mathematics
610 - Medicine and health
004 - Data processing and computer science
300 - Social sciences, sociology and anthropology
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)