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

From Tree Adjoining Grammars to Higher Order Representations of Abstract Meaning Representations via Abstract Categorial Grammars
Rasmus Blanck, Aleksandre Maskharashvili
Loukanova R. (eds) Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018). Studies in Computational Intelligence, vol 860., Cham, Springer , Paper i proceeding 2020
Paper i proceeding

Rank-initial embeddings of non-standard models of set theory
Paul Kindvall Gorbow
Archive for Mathematical Logic, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Herbrand's theorem as higher order recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Annals of Pure and Applied Logic, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy , Berlin, Heidelberg, Springer, Paper i proceeding 2019
Paper i proceeding

A Logic with Measurable Spaces for Natural Language Semantics
Jean-Philippe Bernardy, Rasmus Blanck, Aleksandre Maskharashvili
TbiLLC 2019: Thirteenth International Tbilisi Symposium on Language, Logic and Computation,16-20 September 2019., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2019
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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

Visar 1 - 11 av 11

Namn Titel Organisation
Afshari, Bahareh Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Bernardy, Jean-Philippe Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Blanck, Rasmus Universitetslektor Avdelningen för filosofi och filologi
Coquand, Thierry Professor Datavetenskap (CS)
Enayat, Ali Professor emeritus Institutionen för filosofi, lingvistik 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 - 11 av 11

Visar 1 - 10 av 88

2020

From Tree Adjoining Grammars to Higher Order Representations of Abstract Meaning Representations via Abstract Categorial Grammars
Rasmus Blanck, Aleksandre Maskharashvili
Loukanova R. (eds) Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018). Studies in Computational Intelligence, vol 860., Cham, Springer , Paper i proceeding 2020
Paper i proceeding

Rank-initial embeddings of non-standard models of set theory
Paul Kindvall Gorbow
Archive for Mathematical Logic, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Herbrand's theorem as higher order recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Annals of Pure and Applied Logic, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

2019

An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy , Berlin, Heidelberg, Springer, Paper i proceeding 2019
Paper i proceeding

A Logic with Measurable Spaces for Natural Language Semantics
Jean-Philippe Bernardy, Rasmus Blanck, Aleksandre Maskharashvili
TbiLLC 2019: Thirteenth International Tbilisi Symposium on Language, Logic and Computation,16-20 September 2019., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2019
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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

Visar 1 - 10 av 88

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?