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 | Forskarassistent | Datavetenskap (CS) |
Blanck, Rasmus | Postdoktor | Avdelningen för lingvistik, logik och vetenskapsteori |
Kaså, Martin | Universitetslektor | Institutionen för filosofi, lingvistik och vetenskapsteori |
Enayat, Ali | Professor | Avdelningen för lingvistik, logik 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 |
An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science,
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
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
Visar 1 - 10 av 10
Namn | Titel | Organisation |
---|---|---|
Afshari, Bahareh | Forskarassistent | Datavetenskap (CS) |
Bernardy, Jean-Philippe | Forskare | Avdelningen för lingvistik, logik och vetenskapsteori |
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 - 10 av 10
Visar 1 - 10 av 83
An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science,
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
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
Visar 1 - 10 av 83