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)

Links

PhilArchive



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

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

Algebraic semantics for propositional superposition logic.Athanassios Tzouvaras - 2020 - Journal of Applied Non-Classical Logics 30 (4):335-366.
The defective conditional in mathematics.Mathieu Vidal - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):169-179.
Propositional Mixed Logic: Its Syntax and Semantics.Karim Nour & Abir Nour - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):377-390.
Non-classical operations hidden in classical logic.Vladimir Sotirov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):309-324.
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
Propositional quantification in logics of contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.
Entailment and bivalence.Fred Seymour Michael - 2002 - Journal of Philosophical Logic 31 (4):289-300.
Remark on a finite axiomatization of finite intermediate propositional logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.

Analytics

Added to PP
2014-01-21

Downloads
7 (#1,413,139)

6 months
52 (#90,926)

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.
Process algebra with four-valued logic.Jan A. Bergstra & Alban Ponse - 2000 - Journal of Applied Non-Classical Logics 10 (1):27-53.

View all 7 citations / Add more citations

References found in this work

A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
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.

Add more references