Inference Rules and the Meaning of the Logical Constants

DSpace Repositorium (Manakin basiert)

Inference Rules and the Meaning of the Logical Constants

Oliveira, Hermógenes
Dateien:
Thumbnail
573. KB
PDF
Zitierfähiger Link (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: Dissertation
Erscheinungsdatum: 2019-02-07
Sprache: Englisch
Fakultät: 5 Philosophische Fakultät
Fachbereich: Philosophie
Gutachter: Schroeder-Heister, Peter (Prof. Dr.)
Tag der mündl. Prüfung: 2019-02-04
DDC-Klassifikation: 100 - Philosophie
Schlagworte: Logik , Formale Semantik , Intuitionistische Logik , Beweistheorie , Schlussfolgern , Logischer Schluss , Vollständigkeit , Kalkül des natürlichen Schließens
Freie Schlagwörter:
proof-theoretic semantics
natural deduction
intuitionistic logic
decision procedure
logical validity
Lizenz: 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
Gedruckte Kopie bestellen: Print-on-Demand
Zur Langanzeige

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.

Das Dokument erscheint in: