Hitta forskaren!

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

Matematisk logik

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