Minimalization of Boolean polynomials, truth functions, and lattices

Notre Dame Journal of Formal Logic 19 (2):264-270 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888319

Other Versions

No versions found

Links

PhilArchive



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

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

On propositional, truth and Boolean functions.Tudor Ristea - 1968 - Notre Dame Journal of Formal Logic 9 (2):160-166.
Semi-Boolean lattices.William C. Nemitz - 1969 - Notre Dame Journal of Formal Logic 10 (3):235-238.
Material implication in orthomodular (and Boolean) lattices.Gary M. Hardegree - 1981 - Notre Dame Journal of Formal Logic 22 (2):163-182.
Remarks on the W. C. Nemitz's paper "Semi-Boolean lattices".Tibor Katriňák - 1970 - Notre Dame Journal of Formal Logic 11 (4):425-430.
Self-conjugate functions on Boolean algebras.Thomas A. Sudkamp - 1978 - Notre Dame Journal of Formal Logic 19 (3):504-512.
A double-iteration property of Boolean functions.Carl Lyngholm - 1960 - Notre Dame Journal of Formal Logic 1 (3):111-114.
Errata: ``A double-iteration property of Boolean functions''.Carl Lyngholm & Wolfgang Yourgrau - 1961 - Notre Dame Journal of Formal Logic 2 (4):259-259.
An additional remark on self-conjugate functions of Boolean algebras.Thomas A. Sudkamp - 1978 - Notre Dame Journal of Formal Logic 19 (4):637-638.
The Boolean spectrum of an $o$-minimal theory.Charles Steinhorn & Carlo Toffalori - 1989 - Notre Dame Journal of Formal Logic 30 (2):197-206.
Six new sets of independent axioms for distributive lattices with $O$ and $I$.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (3):187-192.

Analytics

Added to PP
2010-08-24

Downloads
17 (#1,156,101)

6 months
9 (#497,927)

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