✦ LIBER ✦

The Complexity of McNaughton Functions of One Variable

✍ Scribed by Stefano Aguzzoli

Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 236 KB
Volume: 21
Category: Article
ISSN: 0196-8858
DOI: 10.1006/aama.1998.0581

No coin nor oath required. For personal study only.

✦ Synopsis

McNaughton functions play the same role in Łukasiewicz logics as Boolean functions do in classical logic. Formulas in one variable are an important ingredient of automated deduction in many-valued logics: the aim of this paper is to establish some results on the complexity of the problems of function representation and formula minimization.

📜 SIMILAR VOLUMES

Approximating harmonic functions on Rn w

Approximating harmonic functions on Rn with one function of a single complex variable

✍ R. J. Whitley; T. V. Hromadka II 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 114 KB

Let ⍀ be a bounded open set in R n , n Ͼ 2, with R n Ϫ ⍀ a connected set that is not thin at each point of Ѩ⍀. Then any solution to a Dirichlet problem for given continuous boundary data on Ѩ⍀ can be approximated in a simple way by a sum that involves one function f (z) of a single complex variable

On the relations governing the boundary

On the relations governing the boundary values of analytic functions of two complex variables

✍ Hans Lewy 📂 Article 📅 1956 🏛 John Wiley and Sons 🌐 English ⚖ 143 KB 👁 1 views

Interpolation Inequalities with Power We

Interpolation Inequalities with Power Weights for Functions of One Variable

✍ R. Brown; D. Hinton 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 286 KB

On the Time Complexity of Partial Real F

On the Time Complexity of Partial Real Functions

✍ Armin Hemmerling 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 143 KB

Distortion Properties of Holomorphic Fun

Distortion Properties of Holomorphic Functions of Several Complex Variables

✍ Ryszard Mazur 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB

## Distort.ion Properties of Holomorphic Functions of Several Complex Variables By RYSZARD l &bZUR of Kielce (Poland) (Eingegtlngen am 9.7.1980) Abstract.. Let Q(D) be a class of funct,ions q, q(0) = 0, Iq(z)l < 1 holomorphic in the REINHAUDT domain D c Cn, a and barbitrary fixed numbers satisfyin

On the diagonalization of holomorphic ma

On the diagonalization of holomorphic matrix functions of several variables

✍ Dieter Heunemann 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 203 KB

## On the diagonalization of holomorphic matrix functions of several variables By DIETER HETTNEMANN in Berlin (Eingegangen am 10.7. 1979) Let X c C n be a domain of holomorphy, L(Ck) be the space of complex k x kmatrices and GL(Ck) be the group of the invertible complex k x k-matrices. Two holom