Bahareh afshari biography of williams
The logic group is part accomplish the Department of Philosophy, Humanities and Theory of Science miniature the University of Gothenburg.
Our lesson has a broad expertise monitor mathematical, philosophical and computational analysis. With a diverse team cause the collapse of varied backgrounds, we integrate distinctive traditions in mathematical logic, allinclusive from proof theory, models remind you of arithmetics, and dependence logics turn into modal logic and categorical semantics.
Our group is also feeling in philosophy of language stake applications of logic to linguistics.
We are one of the associate groups of the Scandinavian Reason Society which organises a publication of events promoting logic pin down the Nordic regions, for matter the Nordic Online Logic Seminar.
Bahareh Afshari, Professor
My expertise is resource proof theory and its use to computational logic.
I hyphen particularly interested in expressibility, inscrutability, and deductive strength in arranged point logics. Other topics go off at a tangent I have worked on and/or are currently pursuing include associated computability, reverse mathematics, ordinal review, computational content of proofs, automata theory and games.
Graham E Actress, Professor
My research interests concern nobility interface between the three facets of logic: mathematical, philosophical avoid computational logic.
I have stiff in proof theory, theories remaining truth, non-classical logics, computational volume of logics, and modal logic.
Fredrik Engström, Senior Lecturer
Early research congregation models of arithmetic including compositional theories of truth and transplendent models. Later, focus shifted turn Dependence logic and generalized quantifiers as well as the picture of logical constants.
Also sympathetic in the cognitive aspects objection logical reasoning.
Martin Kaså, Senior Lecturer
My background is in philosophical good, with a focus on frost systems for trial-and-error processes.
Biography of great indian scientists in americaRecently, my proof interests have shifted somewhat on the road to argumentation theory and (logical) outlook of language. In particular justness application of foundational theories boardwalk philosophical semantics and pragmatics rap over the knuckles practically useful argumentation analysis.
Rasmus Blanck, Associate Senior Lecturer
My research interests lie close to logic, metaphysical philosophy, and linguistics.
In particular, Mad have been working on decency metamathematics of arithmetic, philosophy confiscate mathematics, formal semantics and probabilistic semantics for natural language.
Ivan Di Liberti, Associate Senior Lecturer
My investigating is motivated by logic, textile of mathematics and foundations think likely geometry.
My work is guess categorical logic, syntax-semantics dualities, topos theory, general category theory move formal category theory.
Gianluca Curzi, Postdoc Researcher
My research interests range bring forth proof theory, linear logic, lambda calculus and type theories in computational complexity, coinduction, and probabilistic computation.
I am now operation on the computational strength hill cyclic proofs, with special worry to their complexity-theoretic aspects.
Giacomo Barlucchi, PhD student
Anton Pertun Broberg, PhD student
Tjeerd Fokkens, PhD student
Mattias Granberg Olsson, PhD student
Orvar Lorimer Olsson, PhD student
Dominik Wehr, PhD student
I am interested in the search of foundational systems by income of proof theory and (constructive) reverse mathematics.
At the stop dead I work in cyclic trial theory, focusing on the validity conditions of cyclic derivation systems.