Sidansvarig: Webbredaktion
Sidan uppdaterades: 2013-08-15 14:34
Välj ämne och hitta forskare och publikationer i vår forskningsdatabas.
Del av forskningsområdet Algebra och logik
| Namn | Titel | Organisation |
|---|---|---|
| Engström, Fredrik | Universitetslektor | Institutionen för filosofi, lingvistik och vetenskapsteori |
| Leigh, Graham | Forskare | Avdelningen för lingvistik, logik och vetenskapsteori |
| Afshari, Bahareh | Forskare | Avdelningen för lingvistik, logik och vetenskapsteori |
| Blanck, Rasmus | Universitetslektor | Avdelningen för filosofi och filologi |
| Kaså, Martin | Universitetslektor | Institutionen för filosofi, lingvistik och vetenskapsteori |
| Coquand, Thierry | Professor | Datavetenskap (CS) |
| Kindvall Gorbow, Paul | Postdoktor | Avdelningen för lingvistik, logik och vetenskapsteori |
| Bernardy, Jean-Philippe | Forskare | Avdelningen för lingvistik, logik och vetenskapsteori |
| Ranta, Aarne | Professor | Funktionell programmering |
| Ljunglöf, Peter | Universitetslektor | Funktionell programmering |
From Tree Adjoining Grammars to Higher Order Representations of Abstract Meaning Representations via Abstract Categorial Grammars
Rasmus Blanck, Aleksandre Maskharashvili
Studies in Computational Intelligence, s. 67-93,
Cham,
Springer Nature Switzerland AG,
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
Set theoretical analogues of the Barwise-Schlipf theorem
Ali Enayat
Working paper
2020
Working paper
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 unpublished theorem of Solovay, revisited
Ali Enayat, Vladimir Kanovei
Working paper
2020
Working paper
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) |
| 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
From Tree Adjoining Grammars to Higher Order Representations of Abstract Meaning Representations via Abstract Categorial Grammars
Rasmus Blanck, Aleksandre Maskharashvili
Studies in Computational Intelligence, s. 67-93,
Cham,
Springer Nature Switzerland AG,
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
Set theoretical analogues of the Barwise-Schlipf theorem
Ali Enayat
Working paper
2020
Working paper
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 unpublished theorem of Solovay, revisited
Ali Enayat, Vladimir Kanovei
Working paper
2020
Working paper
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 - 10 av 88
GÖTEBORGS UNIVERSITET • Box 100 • 405 30 Göteborg • Telefon: 031 786 0000
Kontakt • Organisationsnummer: 202100-3153 • Om webbplatsen
Facebook
Twitter
Instagram
Youtube