✦ LIBER ✦

Some results concerning finite model separability of propositional calculi

✍ Scribed by Ronald Harrop

Publisher: Springer Netherlands
Year: 1976
Tongue: English
Weight: 654 KB
Volume: 35
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02120880

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some finiteness results concerning separ

Some finiteness results concerning separation in graphs

✍ R. Halin 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 586 KB

Some results concerning the rates of con

Some results concerning the rates of convergence of random walks on finite group

✍ Jack J. Dai 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 98 KB

On finite groups, convergence to the uniform distribution under the variation distance implies that the Two-step separation converges to zero. In this paper, we will improve some results of Diaconis (1988).

On the Non-Existence of Finite Character

On the Non-Existence of Finite Characteristic Models for Some Classes of Implicational Calculi

✍ Biswambhar Pahi 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 486 KB 👁 1 views

Some rigorous results concerning the cro

Some rigorous results concerning the crossover behavior of the Ising model with lattice anisotropy

✍ L.L. Liu; H.E. Stanley 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 149 KB

Some results concerning the transition f

Some results concerning the transition from the L- to the P-property for pairs of finite matrices

✍ O Taussky 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 551 KB