Implementing the Algebra of Logic Functions in Terms of Bounded Depth Formulas in the Basis of &, ∨, -

&
Journal of Symbolic Logic 36 (3):547 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270026

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

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

Lupanov O. B.. Implementing the algebra of logic functions in terms of bounded depth formulas in the basis of &, ν, ¯. English translation of XXXVI 572. Soviet physics, Doklady, vol. 6 no. 2 , pp. 107–108. [REVIEW]Louis Hodes - 1971 - Journal of Symbolic Logic 36 (3):547.
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.
Monadic Bounded Algebras.Galym Akishev & Robert Goldblatt - 2010 - Studia Logica 96 (1):1 - 40.
Two General Results on Intuitionistic Bounded Theories.Fernando Ferreira - 1999 - Mathematical Logic Quarterly 45 (3):399-407.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
Functional Monadic Bounded Algebras.Robert Goldblatt - 2010 - Studia Logica 96 (1):41 - 48.
Perfect IFG-Formulas.Allen L. Mann - 2008 - Logica Universalis 2 (2):265-275.
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.
Induction, minimization and collection for Δ n+1 (T)–formulas.A. Fernández-Margarit & F. F. Lara-Martín - 2004 - Archive for Mathematical Logic 43 (4):505-541.
On the Realization of Functions of Logical Algebra by Formulae of Finite Classes in the Basis &, ∨, -.O. B. Lupanov & G. R. Kiss - 1971 - Journal of Symbolic Logic 36 (3):547-547.
δ-Decidability over the Reals.Sicun Gao, Jeremy Avigad & Edmund M. Clarke - unknown
Bounded BCK-algebras and their generated variety.J. D. Gispert & Antoni Torrens Torrell - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
Preservation theorems for bounded formulas.Morteza Moniri - 2007 - Archive for Mathematical Logic 46 (1):9-14.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.

Analytics

Added to PP
2013-11-22

Downloads
24 (#659,238)

6 months
3 (#981,849)

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