Many‐Valued, Free, and Intuitionistic Logics

In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 531–544 (2006)
  Copy   BIBTEX

Abstract

This chapter contains sections titled: Two‐and Three‐Valued Logics Finite Valued Systems with more than Three Values Infinite Valued Systems Vagueness, Many‐valued and Fuzzy Logics Boolean Valued Systems Supervaluations are Boolean Valued Logics Free Logic Intuitionism Conclusions.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780470996751

DOI

10.1002/9780470996751.ch34

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Paraconsistentization and many-valued logics.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - forthcoming - Logic Journal of the IGPL.
Many‐Valued Logic.Grzegorz Malinowski - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 545–561.
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
Sequent-type rejection systems for finite-valued non-deterministic logics.Martin Gius & Hans Tompits - 2023 - Journal of Applied Non-Classical Logics 33 (3):606-640.
Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
Natural Deduction for Four-Valued both Regular and Monotonic Logics.Yaroslav Petrukhin - 2018 - Logic and Logical Philosophy 27 (1):53-66.
Dialogue Games for Many-Valued Logics — an Overview.C. G. Fermüller - 2008 - Studia Logica 90 (1):43-68.
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz.Mateusz M. Radzki - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):27-32.
Many-valued hybrid logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-132.

Analytics

Added to PP
2023-06-15

Downloads
1 (#1,912,644)

6 months
1 (#1,516,001)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Richard Grandy
Rice University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references