On the Realization of Functions of Logical Algebra by Formulae of Finite Classes in the Basis &, ∨, -

&
Journal of Symbolic Logic 36 (3):547-547 (1971)
  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,963

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

Similar books and articles

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.
Complexity of Formula Realization of Functions of Logical Algebra.O. B. Lupanov & G. R. Kiss - 1971 - Journal of Symbolic Logic 36 (3):547-548.
Review: O. B. Lupanov, G. R. Kiss, Complexity of Formula Realization of Functions of Logical Algebra. [REVIEW]Louis Hodes - 1971 - Journal of Symbolic Logic 36 (3):547-548.
Review: S. V. Ablonskij, On Classes of Functions of the Algebra of Logic Admitting a Simple Network Realization. [REVIEW]P. Szeptycki - 1959 - Journal of Symbolic Logic 24 (1):75-76.
Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions.Ilya Makarov - 2015 - Logica Universalis 9 (1):1-26.
Finite algebras of relations are representable on finite sets.H. Andréka, I. Hodkinson & I. Németi - 1999 - Journal of Symbolic Logic 64 (1):243-267.
A Characterization of the free n-generated MV-algebra.Daniele Mundici - 2006 - Archive for Mathematical Logic 45 (2):239-247.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
Algebraic Functions.M. Campercholi & D. Vaggione - 2011 - Studia Logica 98 (1-2):285-306.
A geometric interpretation of logical formulae.Helena Rasiowa & Andrze Mostowski - 1953 - Studia Logica 1 (1):273-275.
Some Hierarchies of Primitive Recursive Functions on Term Algebras.Klaus-Hilmar Sprenger - 1997 - Mathematical Logic Quarterly 43 (2):251-286.
Sets, classes and the propositional calculus.E. Lopez-Escobar - 2005 - Manuscrito 28 (2):417-448.
The existence of a near-unanimity term in a finite algebra is decidable.Miklós Maróti - 2009 - Journal of Symbolic Logic 74 (3):1001-1014.
Relation algebras of every dimension.Roger D. Maddux - 1992 - Journal of Symbolic Logic 57 (4):1213-1229.
Quantum Measures on Finite Effect Algebras with the Riesz Decomposition Properties.Aili Yang & Yongjian Xie - 2014 - Foundations of Physics 44 (10):1009-1037.

Analytics

Added to PP
2015-02-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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