A complete classification of three-place functors in two-valued logic

Notre Dame Journal of Formal Logic 17 (3):429-437 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093887636

Links

PhilArchive



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

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

Two remarks concerning Menger's and Schultz' postulates for the substitutive algebra of the $2$-place functors in the $2$-valued calculus of propositions. [REVIEW]Richard Peters - 1964 - Notre Dame Journal of Formal Logic 5 (2):125-128.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
Complete and atomic algebras of the infinite valued łukasiewicz logic.Roberto Cignoli - 1991 - Studia Logica 50 (3-4):375 - 384.
Quantified extensions of canonical propositional intermediate logics.Silvio Ghilardi - 1992 - Studia Logica 51 (2):195 - 214.
On łukasiewicz's four-valued modal logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.
A diagram of the functors of the two-valued propositional calculus.Thomas W. Scharle - 1962 - Notre Dame Journal of Formal Logic 3 (4):243-255.
Every functionally complete $m$-valued logic has a Post-complete axiomatization.Nuel D. Belnap & Storrs McCall - 1970 - Notre Dame Journal of Formal Logic 11 (1):106-106.
Note to my paper: "A diagram of the functors of the two-valued propositional calculus".Thomas W. Scharle - 1962 - Notre Dame Journal of Formal Logic 3 (4):287-288.
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.
A class of two-place three-valued unary generators.J. C. Muzio & D. M. Miller - 1980 - Notre Dame Journal of Formal Logic 21 (1):148-154.
Kleene's three valued logics and their children.Melvin Fitting - unknown

Analytics

Added to PP
2010-08-24

Downloads
11 (#1,113,583)

6 months
1 (#1,516,429)

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