To the top

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

Tell a friend about this page
Print version

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

Logic

Part of the research area Philosophy

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

The Barwise-Schlipf Theorem
Ali Enayat, James H. Schmerl
Proceedings of the American Mathematical Society, Journal article 2020
Journal article

Truth and feasible reducibility
Ali Enayat, Mateusz Łełyk, Bartosz Wcisło
Journal of Symbolic Logic, Journal article 2020
Journal article

Truth, Disjunction, and Induction
Ali Enayat, Fedor Pakhomov
Archive for mathematical logic, Journal article 2019
Journal article

Proceedings of the Sixth Workshop on Natural Language and Computer Science, Gothenburg, Sweden, 24th May, 2019
Robin Cooper, Valeria de Paiva, Lawrence Moss
Stroudsburg, Pennsylvania , Association for Computational Linguistics, Proceeding 2019
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., Conference contribution 2019
Conference contribution

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?

Denna text är utskriven från följande webbsida:
http://gu.se/english/research/find-our-researchers/?tipFriend=true&tipUrl=http%3A%2F%2Fgu.se%2Fenglish%2Fresearch%2Ffind-our-researchers%2F%3Fprint%3Dtrue%26subjectId%3D6030101&subjectId=6030101
Utskriftsdatum: 2020-08-12