Axiom Systems for Three-Valued Logic

Journal of Symbolic Logic 16 (4):277-277 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267925

Links

PhilArchive



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

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

Review: Alan Rose, Axiom Systems for Three-Valued Logic. [REVIEW]Nicholas Rescher - 1951 - Journal of Symbolic Logic 16 (4):277-277.
An Axiom System for Three-Valued Logic.Alan Rose - 1953 - Journal of Symbolic Logic 18 (4):344-344.
Review: Alan Rose, An Axiom System for Three-Valued Logic. [REVIEW]Nicholas Rescher - 1953 - Journal of Symbolic Logic 18 (4):344-344.
On Axiomatization of Łukasiewicz's Four-Valued Modal Logic.Marcin Tkaczyk - 2011 - Logic and Logical Philosophy 20 (3):215-232.
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ − and RMQ.Albert J. J. Anglberger & Jonathan Lukic - 2015 - Studia Logica 103 (5):985-1003.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
A Note on Relative Efficiency of Axiom Systems.Sandra Fontani, Franco Montagna & Andrea Sorbi - 1994 - Mathematical Logic Quarterly 40 (2):261-272.
Pure Proof Theory. Mathematicians are interested in structures. There is only one way to find the theorems of a structure. Start with an axiom system for the structure and deduce the theorems logically. These axiom systems are the objects of proof-theoretical research. Studying axiom systems there is a series of more. [REVIEW]Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.
Axiom schemes for m-valued functional calculi of first order: Part I. definition of axiom schemes and proof of plausibility.J. B. Rosser & A. R. Turquette - 1948 - Journal of Symbolic Logic 13 (4):177-192.
Correspondence analysis for strong three-valued logic.Allard Tamminga - 2014 - Logical Investigations 20:255-268.
Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.
Linear Set Theory.Masaru Shirahata - 1994 - Dissertation, Stanford University
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 , pp. 177–192. [REVIEW]Burton Spencer Dreben - 1950 - Journal of Symbolic Logic 14 (4):259-260.

Analytics

Added to PP
2015-02-05

Downloads
15 (#939,247)

6 months
3 (#968,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references