Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2013-08-15 14:34

Tipsa en vän
Utskriftsversion

Logik - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Hitta forskaren!

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

Logik

Del av forskningsområdet Filosofi

Senaste publikationer

The Barwise-Schlipf Theorem
Ali Enayat, James H. Schmerl
Working paper 2019
Working paper

Truth and feasible reducibility
Ali Enayat, Mateusz Łełyk, Bartosz Wcisło
Journal of Symbolic Logic, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Truth, Disjunction, and Induction
Ali Enayat, Fedor Pakhomov
Archive for mathematical logic, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2019
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Preliminaries to Acceptance-based Pragmatics
Sylvie Saget
Rational Approaches in Language Science, 24-26 October, 2019 Saarbruecken, Germany, Poster (konferens) 2019
Poster (konferens)

Language as a tool: Towards a cognitive architecture
Sylvie Saget
25th AMLaP - Architectures and Mechanisms of Language Processing, Moscow, 2019, Poster (konferens) 2019
Poster (konferens)

Traditional logic in Meiji-period Japan: the unity of the proposition
Lars Larm
Proceedings of the Modality Workshop, Kansai Gaidai University, Osaka, Japan, 5 -6 March 2019. Volume 15 , Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2019
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 1 - 25 av 25

Namn Titel Organisation
Bennet, Christian Universitetslektor Institutionen för didaktik och pedagogisk profession
Bydén, Börje Forskare Avdelningen för filosofi och filologi
Cooper, Robin Seniorforskare Avdelningen för lingvistik, logik och vetenskapsteori
Coppock, Elizabeth Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Enayat, Ali Professor Avdelningen för lingvistik, logik och vetenskapsteori
Engström, Fredrik Universitetslektor Institutionen för filosofi, lingvistik och vetenskapsteori
Häggström, Olle Professor Avdelningen för tillämpad matematik och statistik
Ierodiakonou, Katerina Forskare Avdelningen för filosofi och filologi
Kaså, Martin Universitetslektor Institutionen för filosofi, lingvistik och vetenskapsteori
Kindvall Gorbow, Paul Postdoktor Avdelningen för lingvistik, logik och vetenskapsteori
Larsson, Staffan Professor Avdelningen för lingvistik, logik och vetenskapsteori
Leigh, Graham Forskare Avdelningen för lingvistik, logik och vetenskapsteori
Malmgren, Helge Forskare Avd för invärtesmedicin och klinisk nutrition
Mora Marquez, Ana Maria Forskare Avdelningen för filosofi och filologi
Saget, Sylvie Doktorand Avdelningen för lingvistik, logik och vetenskapsteori
Thomsen Thörnqvist, Christina Professor Avdelningen för filosofi och filologi
Wessberg, Johan Professor Sektionen för fysiologi

Visar 1 - 25 av 25

Visar 61 - 70 av 202

2014

Implicitly definable generalized quantifiers
Fredrik Engström
Idées Fixes. A Festschrift Dedicated to Chistian Bennet on the Occasion of His 60th Birthday. Martin Kaså (ed.), Göteborg, University of Gothenburg, Kapitel i bok 2014
Kapitel i bok

Paradox lost
Helge Malmgren
Idées Fixes (ed. Martin Kaså), Göteborg, University of Gothenburg, Kapitel i bok 2014
Kapitel i bok

How to do things with types
Robin Cooper
Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014) July 17-18, 2014 Vienna, Austria, ed. by Valeria de Paiva, Walther Neuper, Pedro Quaresma, Christian Retoré, Lawrence S. Moss and Jordi Saludes, Center for Informatics and Systems of the University of Coimbra, Paper i proceeding 2014
Paper i proceeding

Quotation via Dialogical Interaction
Jonathan Ginzburg, Robin Cooper
Journal of Logic, Language and Information, Artikel i vetenskaplig tidskrift 2014
Artikel i vetenskaplig tidskrift

Flexible formulae of arithmetic
Rasmus Blanck
Journées sur les Arithmétiques Faibles 33, 16/6-18/6 2014, Göteborg, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2014
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

2013

Reasoning about truth in first-order logic
Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani, Lance Rips
Journal of Logic, Language and Information, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

A Cognitive Architecture Based on Dual Process Theory
Claes Strannegård, Rickard von Haugwitz, Johan Wessberg, Balkenius Christian
Lecture Notes in Computer Science, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Bounded Kolmogorov Complexity Based on Cognitive Models
Claes Strannegård, Abdul Rahim Nizamani, Sjöberg Anders, Fredrik Engström
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

A New Proof of Tanaka's Theorem
Ali Enayat
New Studies in Weak Arithmetics. Patrick Cégielski, Charalampos Cornaros, and Costas Dimitracopoulos (eds.). CSLI Lectures Notes, No.211, Paper i proceeding 2013
Paper i proceeding

Visar 61 - 70 av 202

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2013-08-15
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?