Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2013-08-15 14:34

Tipsa en vän
Utskriftsversion

Matematisk logik - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Hitta forskaren!

Välj ämne och hitta forskare och publikationer i vår forskningsdatabas.

Matematisk logik

Del av forskningsområdet Algebra och logik

Senaste publikationer

Axiomatic Theories of Truth
Volker Halbach, Graham E. Leigh
Stanford Encyclopedia of Philosophy, Bidrag till encyklopedi 2018
Bidrag till encyklopedi

Iterated ultrapowers for the masses
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for mathematical logic, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Rapport 2018
Rapport

Invariance and Definability, with and without Equality
Dennis Bonnay, Fredrik Engström
Notre Dame Journal of Formal Logic, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Largest initial segments pointwise fixed by automorphisms of models of set theory
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for Mathematical Logic, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 June 2017, Reykjavik Iceland, Association for Computing Machinery (ACM), Paper i proceeding 2017
Paper i proceeding

Feferman's Forays into the Foundations of Category Theory
Ali Enayat, Paul Kindvall Gorbow, Zachiri McKenzie
Feferman on Foundations / Jaeger, Gerhard, Sieg, Wilfried (Eds.) , Cham, Springer International Publishing, Kapitel i bok 2017
Kapitel i bok

Essens, att sammanfalla och karaktärisering
Paul Kindvall Gorbow
Filosofisk Tidskrift, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Dependence logic with generalized quantifiers: Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Journal of computer and system sciences, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Truth and Proof in the Long Run: Essays on Trial and-Error Logics
Martin Kaså
Göteborg, Acta Universitatis Gothoburgensis, Doktorsavhandling 2017
Doktorsavhandling

Visar 1 - 9 av 9

Namn Titel Organisation
Afshari, Bahareh Forskarassistent Datavetenskap (CS)
Blanck, Rasmus Postdoktor Avdelningen för lingvistik, logik och vetenskapsteori
Coquand, Thierry Professor Datavetenskap (CS)
Enayat, Ali Professor Avdelningen för lingvistik, logik och vetenskapsteori
Engström, Fredrik Universitetslektor Institutionen för filosofi, lingvistik och vetenskapsteori
Kaså, Martin Universitetslektor Institutionen för filosofi, lingvistik och vetenskapsteori
Kindvall Gorbow, Paul Postdoktor Avdelningen för lingvistik, logik och vetenskapsteori
Leigh, Graham Forskare Avdelningen för lingvistik, logik och vetenskapsteori

Visar 1 - 9 av 9

Visar 1 - 10 av 81

2018

Axiomatic Theories of Truth
Volker Halbach, Graham E. Leigh
Stanford Encyclopedia of Philosophy, Bidrag till encyklopedi 2018
Bidrag till encyklopedi

Iterated ultrapowers for the masses
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for mathematical logic, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Rapport 2018
Rapport

Invariance and Definability, with and without Equality
Dennis Bonnay, Fredrik Engström
Notre Dame Journal of Formal Logic, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Largest initial segments pointwise fixed by automorphisms of models of set theory
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for Mathematical Logic, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

2017

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 June 2017, Reykjavik Iceland, Association for Computing Machinery (ACM), Paper i proceeding 2017
Paper i proceeding

Feferman's Forays into the Foundations of Category Theory
Ali Enayat, Paul Kindvall Gorbow, Zachiri McKenzie
Feferman on Foundations / Jaeger, Gerhard, Sieg, Wilfried (Eds.) , Cham, Springer International Publishing, Kapitel i bok 2017
Kapitel i bok

Essens, att sammanfalla och karaktärisering
Paul Kindvall Gorbow
Filosofisk Tidskrift, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Dependence logic with generalized quantifiers: Axiomatizations
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Journal of computer and system sciences, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Truth and Proof in the Long Run: Essays on Trial and-Error Logics
Martin Kaså
Göteborg, Acta Universitatis Gothoburgensis, Doktorsavhandling 2017
Doktorsavhandling

Visar 1 - 10 av 81

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2013-08-15
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?