the scandinavian logic society

slideshow 1

List of members

Vera Koponen | Department of Mathematics, Uppsala University
logic, model theory, combinatorics
Viggo Stoltenberg-Hansen | Uppsala University
Mathematical logic
Vladik Kreinovich | University of Texas at El Paso
constructive logic
William F Fearon | Hungarian Academy of Sciences
Artificial Intelligence, Artificial Life, Logic Theorems of Uncertainty
Yassine Ammar | Secondary Mathematics Teacher
Mathematics Didactics - Complexity in Mathematics teaching/learning - Proof construction - Teaching Logic.
Yì Nicholas Wáng | Bergen University College
Dynamic Epistemic Logic, Logic for Multiagent systems, Modal Logic
Yoshihiro Maruyama | University of Oxford
Categorical Logic, Philosophical Logic
Yunjie Shi | Miss
Yunjie Shi | Miss
Zhaohui Luo | RHUL, UK
Type theory, proof assistants, system verification, linguistic semantics
Zhiguang Zhao | Institute for Logic, Language and Computation
Modal Logic, Model theory
Zuzanna Gnatek | Trinity College Dublin
Zuzanna Gnatek | Trinity College Dublin
reference, self-reference, higher order quantification, abstraction principles, neo-Fregeanism, truth and paradox
Zuzanna Gnatek | Trinity College Dublin
reference, self-reference, higher order quantification, abstraction principles, neo-Fregeanism, truth and paradox
Øystein Linnebo | University of Oslo

Dept Of Philosophy, Ifikk

philosophical logic, philosophy of mathematics, higher-order logic, logicism

Pages

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.