Determination of the set of all four-variable formulae corresponding to universal decision elements using a logical computer

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (18):302-314 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19640101805

Links

PhilArchive



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

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

A Method for Finding Formulae Corresponding to First Order Universal Decision Elements in m‐Valued Logic.John Loader - 1974 - Mathematical Logic Quarterly 20 (1‐3):1-18.
The Construction of Scale‐Of‐Two Mechanisms from Universal Decision Elements.Eric Foxley - 1967 - Mathematical Logic Quarterly 13 (16‐18):281-287.
The determination of all Sheffer functions in $3$-valued logic, using a logical computer. [REVIEW]Eric Foxley - 1962 - Notre Dame Journal of Formal Logic 3 (1):41-50.
On the strength and scope of DLS.Willem Conradie - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):279-296.
A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic.Storrs McCall - 1962 - Notre Dame Journal of Formal Logic 3 (2):120-122.
Review: Storrs McCall, A Simple Decision Procedure for One-Variable Implication/Negation Formulae in Intuitionist Logic. [REVIEW]Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (4):212-212.
Review: Laszlo Kalmar, Reduction of the Decision Problem to the Satisfiability Question of Logical Formulae on a Finite Set. [REVIEW]Rózsa Péter - 1955 - Journal of Symbolic Logic 20 (1):72-72.
Review: O. B. Lupanov, G. R. Kiss, On the Realization of Functions of Logical Algebra by Formulae of Finite Classes (Formulae of Limited Depth) in the Basis &, $vee$, $^-$. [REVIEW]Louis Hodes - 1971 - Journal of Symbolic Logic 36 (3):547-547.
Logical Argument Structures in Decision-making.Jane Macoubrie - 2003 - Argumentation 17 (3):291-313.
Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.

Analytics

Added to PP
2014-01-16

Downloads
23 (#637,895)

6 months
1 (#1,428,112)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references