✦ LIBER ✦

Describing symmetrical structures in logic

✍ Scribed by P. A. Strooper; M. H. van Emden

Publisher: Springer Netherlands
Year: 1993
Tongue: English
Weight: 892 KB
Volume: 8
Category: Article
ISSN: 1012-2443
DOI: 10.1007/bf01530795

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symmetric structure in logic programming

✍ Jin-Zhao Wu; Harald Fecher 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 775 KB

Dual realizability in symmetric logic

✍ I.D. Zaslavsky 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 70 KB

A variant of the notion of symmetric constructive realizability is introduced where the information about the symmetric constructive truth or falsity of an arithmetical formula is expressed by a single natural number. The methods of transformations of such a realization to the realizations of known

Torsional oscillations in symmetrical st

Torsional oscillations in symmetrical structures

✍ J.I. Ramos 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 807 KB

Algebraic structures in fuzzy logic

✍ Esko Turunen 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 580 KB

Formal structures in Indian logic

✍ J. F. Staal 📂 Article 📅 1960 🏛 Springer Netherlands 🌐 English ⚖ 389 KB

On sheffer symmetric functions in three-

On sheffer symmetric functions in three-valued logic

✍ Ivan Stojmenović 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 518 KB