A propositional logic with 4 values: true, false, divergent and meaningless

, &
Journal of Applied Non-Classical Logics 5 (2):199-217 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1995.10510855

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,902

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

The defective conditional in mathematics.Mathieu Vidal - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):169-179.
Algebraic semantics for propositional superposition logic.Athanassios Tzouvaras - 2020 - Journal of Applied Non-Classical Logics 30 (4):335-366.
An Alleged Tension between non-Classical Logics and Applied Classical Mathematics.Sebastian Horvat & Iulian D. Toader - 2024 - The Philosophical Quarterly 1:1-19.
Non-classical operations hidden in classical logic.Vladimir Sotirov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):309-324.
Propositional Mixed Logic: Its Syntax and Semantics.Karim Nour & Abir Nour - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):377-390.
Propositional quantification in logics of contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
Entailment and bivalence.Fred Seymour Michael - 2002 - Journal of Philosophical Logic 31 (4):289-300.
Non-commutative propositional logic with short-circuit evaluation.Jan A. Bergstra, Alban Ponse & Daan J. C. Staudt - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):234-278.
W stronę Łukasiewicza.Paweł Garbacz - 2000 - Filozofia Nauki 1.

Analytics

Added to PP
2014-01-21

Downloads
63 (#334,501)

6 months
11 (#329,096)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan A. Bergstra
University of Amsterdam

Citations of this work

An independent axiomatisation for free short-circuit logic.Alban Ponse & Daan J. C. Staudt - 2018 - Journal of Applied Non-Classical Logics 28 (1):35-71.
Inversive meadows and divisive meadows.J. A. Bergstra & C. A. Middelburg - 2011 - Journal of Applied Logic 9 (3):203-220.
Bochvar-McCarthy Logic and Process Algebra.Jan A. Bergstra & Alban Ponse - 1998 - Notre Dame Journal of Formal Logic 39 (4):464-484.

View all 8 citations / Add more citations

References found in this work

On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
The logic of significance and context.Leonard Goddard - 1973 - New York,: Wiley. Edited by Richard Sylvan.
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.

Add more references