Inference Rules and the Meaning of the Logical Constants

DSpace Repository

Inference Rules and the Meaning of the Logical Constants

Oliveira, Hermógenes
Dateien:
Thumbnail
573. KB
PDF
URI: http://hdl.handle.net/10900/86246
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-862466
http://dx.doi.org/10.15496/publikation-27634
Dokumentart: PhDThesis
Date: 2019-02-07
Language: English
Faculty: 5 Philosophische Fakultät
Department: Philosophie
Advisor: Schroeder-Heister, Peter (Prof. Dr.)
Day of Oral Examination: 2019-02-04
DDC Classifikation: 100 - Philosophy
Keywords: Logik , Formale Semantik , Intuitionistische Logik , Beweistheorie , Schlussfolgern , Logischer Schluss , Vollständigkeit , Kalkül des natürlichen Schließens
Other Keywords:
proof-theoretic semantics
natural deduction
intuitionistic logic
decision procedure
logical validity
License: http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en
Order a printed copy: Print-on-Demand
Show full item record

Abstract:

The dissertation provides an analysis and elaboration of Michael Dummett's proof-theoretic notions of validity. Dummett's notions of validity are contrasted with standard proof-theoretic notions and formally evaluated with respect to their adequacy to propositional intuitionistic logic.

This item appears in the following Collection(s)