Advances in Natural Deduction A Celebration of Dag Prawitz's Work /
This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz's work forms the basis of intuitionistic t...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Pereira, Luiz Carlos (Editor ), Haeusler, Edward (Editor ), de Paiva, Valeria (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2014.
|
Edición: | 1st ed. 2014. |
Colección: | Trends in Logic, Studia Logica Library,
39 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Natural Deduction, Hybrid Systems and Modal Logics
por: Indrzejczak, Andrzej
Publicado: (2010) -
Advances in Proof-Theoretic Semantics
Publicado: (2016) -
Freedom and Enforcement in Action A Study in Formal Action Theory /
por: Czelakowski, Janusz
Publicado: (2015) -
Truth and Falsehood An Inquiry into Generalized Logical Values /
por: Shramko, Yaroslav, et al.
Publicado: (2012) -
Hybrid Logic and its Proof-Theory
por: Braüner, Torben
Publicado: (2011)