𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Concerning Formulas of the Types A → B ∨ C, A → (Ex)B(x)

✍ Scribed by Ronald Harrop

Book ID
124964324
Publisher
Association for Symbolic Logic
Year
1960
Tongue
English
Weight
735 KB
Volume
25
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Pieri-Type Formula for H*T(SLn(C)/B)
A Pieri-Type Formula for H*T(SLn(C)/B)
✍ Shawn Robinson 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 173 KB

The singular cohomology of the Grassmann variety of k-planes in n has a basis s ν indexed by partitions. The classical Pieri formula is an explicit rule for determining the coefficients in the expansion of the cup product µ where 1 m is a column of length m and s 1 m is the mth Chern class of the t

On a complexity of the formula (A ⋁ B) ⇒
On a complexity of the formula (A ⋁ B) ⇒ C
✍ K.Yu. Gorbunov 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 285 KB

By the complexity KF'(@) of the formula @: (A V B) \* C we mean the minimal length of a program which on input (0,A) outputs C and on input (I,@ outputs C. We prove that there exist words A, B, C such that IQ'(@) is close to K(Cl.4) + K( ClB). @ 1998-Elsevier Science B.V. Ail rights reserved K~JNVIY