Peter Schroeder-Heister on Proof-Theoretic Semantics

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Publicado no:Outstanding Contributions to Logic
Corporate Authors: Piecha, Thomas, Wehmeier, Kai F.
Formato: Livro
Idioma:Inglês
Publicado em: Springer Nature 2024
Assuntos:
Proof-theoretic Semantics
Logical Constants
Proof Theory
Deductive Logic
Constructive Logic
Intuitionistic Logic
Mathematical Logic
Peter Schroeder-Heister
Gerhard Gentzen
Gottlob Frege
thema EDItEUR::Q Philosophy and Religion::QD Philosophy
thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic
thema EDItEUR::C Language and Linguistics::CF Linguistics::CFA Philosophy of language
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBB Philosophy of mathematics
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
thema EDItEUR::C Language and Linguistics::CB Language: reference and general::CBX Language: history and general works
Acesso em linha:https://directory.doabooks.org/handle/20.500.12854/135526
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
A carregar...

Registos relacionados