| dc.contributor.advisor |
Schroeder-Heister, Peter (Prof. Dr.) |
|
| dc.contributor.author |
Oliveira, Hermógenes |
|
| dc.date.accessioned |
2019-02-07T08:25:55Z |
|
| dc.date.available |
2019-02-07T08:25:55Z |
|
| dc.date.issued |
2019-02-07 |
|
| dc.identifier.other |
517377772 |
de_DE |
| dc.identifier.uri |
http://hdl.handle.net/10900/86246 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-862466 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-27634 |
|
| dc.identifier.uri |
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-862461 |
de_DE |
| dc.identifier.uri |
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-862468 |
de_DE |
| dc.description.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. |
en |
| dc.language.iso |
en |
de_DE |
| dc.publisher |
Universität Tübingen |
de_DE |
| dc.rights |
ubt-podok |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en |
en |
| dc.subject.classification |
Logik , Formale Semantik , Intuitionistische Logik , Beweistheorie , Schlussfolgern , Logischer Schluss , Vollständigkeit , Kalkül des natürlichen Schließens |
de_DE |
| dc.subject.ddc |
100 |
de_DE |
| dc.subject.other |
proof-theoretic semantics |
en |
| dc.subject.other |
natural deduction |
en |
| dc.subject.other |
intuitionistic logic |
en |
| dc.subject.other |
decision procedure |
en |
| dc.subject.other |
logical validity |
en |
| dc.title |
Inference Rules and the Meaning of the Logical Constants |
en |
| dc.type |
PhDThesis |
de_DE |
| dcterms.dateAccepted |
2019-02-04 |
|
| utue.publikation.fachbereich |
Philosophie |
de_DE |
| utue.publikation.fakultaet |
5 Philosophische Fakultät |
de_DE |
