↓
 

Xixi Logic

  • Home
  • Announcements
    • Local Announcements
    • Messages from the Community
  • Invited Talks
  • Conferences
  • Group Meetings
    • L&I Reading Group
    • PL&PL Reading Group
  • Other Events
  • Courses
  • Calendar
  • About Us
Home→Author Huimin Dong - Page 5 << 1 2 3 4 5 6 7 … 25 26 >>

Author Archives: Huimin Dong

Post navigation

← Older posts
Newer posts →

CFP: Special Issue of Logic and Logical Philosophy (LLP): „Relating Logic and Relating Semantics”

Xixi Logic Posted on 2020-11-12 by Huimin Dong2020-11-12

We invite contributions to the Special Issue of Logic and Logical Philosophy (LLP): „Relating Logic and Relating Semantics” (https://apcz.umk.pl/czasopisma/index.php/LLP/index). High quality research papers concerning theory and applications of relating logics and relating semantics, including, but not limited to, the following topics, are welcome: – applications of relating semantics, – algebraic interpretation of relating logics, – comparison of relating semantics with other formal semantics, – history of relating logics, – modal extensions of relating logics, – model theory of relating logics, – philosophical logics defined by relating semantics, – proof theory for relating logics, – philosophical foundations of relating logics, – other related topics (like dependence logic, set-assignment semantics etc.).   Guest editors: Tomasz Jarmużek (Nicolaus Copernicus University in Toruń), Francesco Paoli (University of Cagliari, Italy).   Please submit your contributions by February 15th 2021. Full-text submissions should be sent to one of the addresses: – jarmuzek@umk.pl – paoli@unica.it   Contributions are welcome from philosophers, logicians, mathematicians, linguists, and computer scientists. More details about submissions can be found at: http://www.home.umk.pl/~llp/call_relating-logic.pdf

Continue reading →
Posted in Community

1st Workshop on Relating Logic

Xixi Logic Posted on 2020-08-16 by Huimin Dong2020-08-16

1st Workshop on Relating Logic September 25-26 2020 Department of Logic, Nicolaus Copernicus University in Torun, Poland Department of Pedagogy, Psychology, Philosophy, University of Cagliari, Italy CALL FOR PAPERS     Aims The main aim of the workshop is to … Continue reading →

Posted in Community

Bruno Bentzen: Perspectives on the Foundations of Type Theory

Xixi Logic Posted on 2020-07-31 by Huimin Dong2020-07-31

西溪逻辑论坛第140期 Date: 7 August, 2020 (21:00-22:00) Platform: Zheda Ding Speaker: Dr. Bruno Bentzen (Carnegie Mellon University, USA) Title: Perspectives on the foundations of type theory Abstract: Type theory is a class of formal theories inspired by Russell’s conviction that every … Continue reading →

Posted in Invited Talks

Post navigation

← Older posts
Newer posts →
© Since 2014 Xixi Logic. All rights reserved.   浙ICP备15002489号-1
↑