𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On The Imaginary Logic of N. A. VASILIEV

✍ Scribed by Leila Z. Puga; Newton C. A. Da Costa

Publisher
John Wiley and Sons
Year
1988
Tongue
English
Weight
422 KB
Volume
34
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on the logic of design
A note on the logic of design
✍ William Fawcett πŸ“‚ Article πŸ“… 1987 πŸ› Elsevier Science 🌐 English βš– 407 KB
On The Ono Invariants of Imaginary Quadr
On The Ono Invariants of Imaginary Quadratic Fields
✍ Joseph Cohen; Jack Sonn πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 127 KB

Let E d Γ°xÞ denote the ''Euler polynomial'' x 2 ΓΎ x ΓΎ Γ°1 Γ€ dÞ=4 if d 1 Γ°mod 4Þ and x 2 Γ€ d if d 2; 3 Γ°mod 4Þ. Set OΓ°nÞ ΒΌ the number of prime factors (counting multiplicity) of the positive integer n. The Ono invariant Ono d of K is defined to be maxfOΓ°E d Γ°bÞÞ: b ΒΌ 0; 1; . . . jD d j=4 Γ€ 1g except w

On the logic of design
On the logic of design
✍ Y. Zeng; G.D. Cheng πŸ“‚ Article πŸ“… 1991 πŸ› Elsevier Science 🌐 English βš– 444 KB
On the unity of logic
On the unity of logic
✍ Jean-Yves Gigard πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 1023 KB
On a logic of involutive quantales
On a logic of involutive quantales
✍ Norihiro Kamide πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 112 KB

## MSC (2000) 03B47 The logic just corresponding to (non-commutative) involutive quantales, which was introduced by Wendy Mac-Caull, is reconsidered in order to obtain a cut-free sequent calculus formulation, and the completeness theorem (with respect to the involutive quantale model) for this log