To the top

Page Manager: Webmaster
Last update: 8/24/2013 3:08 PM

Tell a friend about this page
Print version

Mathematical logic - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Mathematical logic

Part of the research area Algebra and Logic

Latest publications

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., Conference contribution 2019
Conference contribution

Axiomatic Theories of Truth
Volker Halbach, Graham E. Leigh
Stanford Encyclopedia of Philosophy, Encyclopedia entry 2018
Encyclopedia entry

Iterated ultrapowers for the masses
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Archive for mathematical logic, Journal article 2018
Journal article

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

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

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), Conference paper 2017
Conference paper

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, Chapter in book 2017
Chapter in book

Essens, att sammanfalla och karaktärisering
Paul Kindvall Gorbow
Filosofisk Tidskrift, Journal article 2017
Journal article

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

Showing 1 - 10 of 10

Name Title Organization
Afshari, Bahareh Postdoctoral research fellow Computer Science (CS)
Bernardy, Jean-Philippe Researcher Linguistics, Logic and Theory of Science unit
Blanck, Rasmus Postdoctor Linguistics, Logic and Theory of Science unit
Coquand, Thierry Professor Computer Science (CS)
Enayat, Ali Professor Linguistics, Logic and Theory of Science unit
Engström, Fredrik Senior lecturer Department of Philosophy, Linguistics, Theory of Science
Kaså, Martin Senior lecturer Department of Philosophy, Linguistics, Theory of Science
Kindvall Gorbow, Paul Postdoctor Linguistics, Logic and Theory of Science unit
Leigh, Graham Researcher Linguistics, Logic and Theory of Science unit

Showing 1 - 10 of 10

Page Manager: Webmaster|Last update: 8/24/2013
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?