40 years of FDE: An Introductory Overview

Studia Logica 105 (6):1021-1049 (2017)
  Copy   BIBTEX

Abstract

In this introduction to the special issue “40 years of FDE”, we offer an overview of the field and put the papers included in the special issue into perspective. More specifically, we first present various semantics and proof systems for FDE, and then survey some expansions of FDE by adding various operators starting with constants. We then turn to unary and binary connectives, which are classified in a systematic manner. First-order FDE is also briefly revisited, and we conclude by listing some open problems for future research.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Editorial introduction.Wim Vandekerckhove & Jos Leys - 2007 - Philosophica 80 (3):211-212.
Monadologies: an historical overview.Pauline Phemister & Jeremy Dunham - 2015 - British Journal for the History of Philosophy 23 (6):1023-1032.
Sixty Years of PRC Research on Sino-Japanese Relations (1949–2009).Liu Jiangyong - 2010 - Japanese Journal of Political Science 11 (3):389-400.
Anti-consumption: An overview and research agenda.M. S. W. Lee, K. V. Fernandez & M. R. Hyman - 2009 - Journal of Business Research 62 (2):145--147.
Guest Editors’ Introduction.James Delgrande & Jérôme Lang - 2015 - Journal of Philosophical Logic 44 (2):111-115.
One Hundred Years of Semantic Paradox.Leon Horsten - 2015 - Journal of Philosophical Logic (6):1-15.
Introduction.Betty C. Safford - 1987 - Hypatia 2 (1):1-6.
Neurolaw and Direct Brain Interventions.Nicole A. Vincent - 2014 - Criminal Law and Philosophy 8 (1):43-50.

Analytics

Added to PP
2017-10-12

Downloads
55 (#277,782)

6 months
13 (#161,691)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Variable-Sharing as Relevance.Shawn Standefer - forthcoming - In Igor Sedlár, Shawn Standefer & Andrew Tedder (eds.), New Directions in Relevant Logic.
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.

View all 45 citations / Add more citations

References found in this work

The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.

View all 30 references / Add more references