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

Find our researchers

Choose a subject and find our researchers and their publications.

Mathematical logic

Part of the research area Algebra and Logic

Latest publications

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 , Conference paper 2020
Conference paper

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

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, Conference paper 2019
Conference paper

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

Showing 1 - 11 of 11

Name Title Organization
Afshari, Bahareh Researcher Linguistics, Logic and Theory of Science unit
Bernardy, Jean-Philippe Researcher Linguistics, Logic and Theory of Science unit
Blanck, Rasmus Senior lecturer Philosophy and Philology unit
Coquand, Thierry Professor Computer Science (CS)
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 - 11 of 11

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?