Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/163992
-
Titel: 
Valentini's cut-elimination for provability logic resolved
en
Zitat: 
Goré, R., & Ramanayake, R. (2012). Valentini’s cut-elimination for provability logic resolved. Review of Symbolic Logic, 5(2), 212–238. https://doi.org/10.1017/s1755020311000323
-
Verlags-DOI: 
10.1017/s1755020311000323
-
Publikationstyp: 
Artikel - Forschungsartikel
de
Sprache: 
Englisch
-
Autor_innen: 
Goré, Rajeev 
Ramanayake, Revantha 
-
Zeitschrift: 
Review of Symbolic Logic 
-
ISSN: 
1755-0203
-
Datum (veröffentlicht): 
Jun-2012
-
Umfang: 
27
-
Verlag: 
CAMBRIDGE UNIV PRESS
-
Peer Reviewed: 
Ja
-
Keywords: 
Philosophy; Logic; Mathematics (miscellaneous)
-
Forschungs­schwerpunkte: 
Computer Science Foundations: 100%
-
Wissenschafts­zweig: 
Mathematik, Informatik
-
Enthalten in den Sammlungen:
Article

Zur Langanzeige

Seiten Aufrufe

60
aufgerufen am 01.12.2023

Google ScholarTM

Check