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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-017-9748-6

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Editorial introduction.Wim Vandekerckhove & Jos Leys - 2007 - Philosophica 80 (3):211-212.
Ontology via semantics? Introduction to the special issue on the semantics of cardinals.Craige Roberts & Stewart Shapiro - 2017 - Linguistics and Philosophy 40 (4):321-329.
Logic and Probability: Reasoning in Uncertain Environments – Introduction to the Special Issue.Matthias Unterhuber & Gerhard Schurz - 2014 - Studia Logica 102 (4):663-671.
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.
Order from disorder: The role of noise in creative processes. A special issue on game theory and evolutionary processes – overview.Paul Davies - manuscript
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.
Schönfinkel-type Operators for Classical Logic.Katalin Bimbó - 2010 - Studia Logica 95 (3):355-378.
Thinking about Non-Universal Laws: Introduction to the Special Issue Ceteris Paribus Laws Revisited.Alexander Reutlinger & Matthias Unterhuber - 2014 - Erkenntnis 79 (S10):1703-1713.
Neurolaw and Direct Brain Interventions.Nicole A. Vincent - 2014 - Criminal Law and Philosophy 8 (1):43-50.
Collected Papers, Volume 2: Knowledge, Rationality, and Morality, 1978-2010.Stephen Stich - 2012 - , US: Oxford University Press.
The Global Survey of Business Ethics as Field of Training, Teaching and Research: Objectives and Methodology. [REVIEW]Gedeon Josua Rossouw - 2011 - Journal of Business Ethics 104 (S1):1-6.

Analytics

Added to PP
2017-10-12

Downloads
59 (#269,820)

6 months
17 (#145,330)

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