Modern Uses of Multiple-Valued Logic

& (eds.)
D. Reidel (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

A useful four-valued logic.N. D. Belnap
A survey of the theory of Post algebras and their generalizations.Ph Dwinger
Many-valued algorithmic logic as a tool to investigate programs.H. Rasiowa
Ternary simulation of binary gate networks.M. Yoeli & J. A. Brzozowski

Similar books and articles

A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
A planar geometrical model for representing multidimensional discrete spaces and multiple-valued logic functions.Ryszard Stanislaw Michalski - 1978 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
Multiple Conclusion Logic.D. J. Shoesmith & Timothy Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press. Edited by T. J. Smiley.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Many-place sequent calculi for finitely-valued logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
Kleene's three valued logics and their children.Melvin Fitting - unknown
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown
An algorithm for axiomatizing every finite logic.Stanisław Surma - 1976 - In Computer Science and Multiple-Valued Logic. North-Holland. pp. 137-143.
Computer Science and Multiple-Valued Logic.Stanisław Surma - 1976 - North-Holland.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.
Extending Montague's system: A three valued intensional logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.

Analytics

Added to PP
2011-07-24

Downloads
1 (#1,866,476)

6 months
1 (#1,459,555)

Historical graph of downloads

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

Author's Profile

Jon Michael Dunn
PhD: University of Pittsburgh; Last affiliation: Indiana University, Bloomington

Citations of this work

J. Michael Dunn on Information Based Logics.Katalin Bimbó (ed.) - 2016 - Cham, Switzerland: Springer.
Voting and vagueness.James Kennedy Chase - 2016 - Synthese 193 (8):2453–2468.

Add more citations

References found in this work

No references found.

Add more references