Proof-theoretic versus Model-theoretic Consequence

DSpace Repository

Show simple item record

dc.contributor.author Schroeder-Heister, Peter
dc.date.accessioned 2022-07-14T13:19:48Z
dc.date.available 2022-07-14T13:19:48Z
dc.date.issued 2008
dc.identifier.isbn 978-80-7007-281-3
dc.identifier.uri http://hdl.handle.net/10900/129464
dc.identifier.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294645 de_DE
dc.identifier.uri http://dx.doi.org/10.15496/publikation-70827
dc.description.abstract Model-theoretic and proof-theoretic notions of logical consequence are compared. According to standard semantics, they rely on the idea of the transmission of a categorical concept (truth, canonical provability) from the premisses to the conclusion of a hypothetical consequence statement. It is argued that the hypothetical should be given conceptual priority over the categorical, which for formal systems means a conceptual preference of the sequent calculus over the calculus of natural deduction. 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 , Beweistheorie , Modelltheorie , Folgerung de_DE
dc.subject.ddc 004 de_DE
dc.subject.ddc 100 de_DE
dc.subject.other Logic en
dc.subject.other Proof Theory en
dc.subject.other Model Theory en
dc.subject.other Logical Consequence en
dc.title Proof-theoretic versus Model-theoretic Consequence en
dc.type Article de_DE
utue.publikation.fachbereich Informatik de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE
utue.publikation.source The Logica Yearbook 2007, ed. by Michal Peliš, Prague: Filosofia 2008, pp. 187-200 de_DE
utue.publikation.noppn yes de_DE

Dateien:

This item appears in the following Collection(s)

Show simple item record