✦ LIBER ✦

Weight of the comprehension axiom in a theory based on logic without contractions

✍ Scribed by V. N. Grishin

Book ID: 110613625
Publisher: SP MAIK Nauka/Interperiodica
Year: 1999
Tongue: English
Weight: 506 KB
Volume: 66
Category: Article
ISSN: 0001-4346
DOI: 10.1007/bf02674193

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Logic of Theory Change: Contracti

On the Logic of Theory Change: Contraction without Recovery

✍ Eduardo L. Fermé 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 75 KB

Reduction of arithmetic to logic based o

Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants

✍ Ludwik Borkowski 📂 Article 📅 1958 🏛 Springer Netherlands 🌐 English ⚖ 507 KB

Weighted Particles in Coulomb Collision

Weighted Particles in Coulomb Collision Simulations Based on the Theory of a Cumulative Scattering Angle

✍ K. Nanbu; S. Yonemura 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 187 KB

A cumulative property of Coulomb collisions in plasmas was formulated by Nanbu. A succession of small-angle binary collisions is grouped into a unique binary collision with a large scattering angle; the law of scattering is given by the exponential cosine function. Proposed here is a Coulomb collisi

A little logic goes a long way: basing e

A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning

✍ Keith Stenning; Michiel van Lambalgen 📂 Article 📅 2004 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 261 KB

A novel vertical handoff algorithm based

A novel vertical handoff algorithm based on fuzzy logic in aid of grey prediction theory in wireless heterogeneous networks

✍ Xia Liu; Ling-ge Jiang 📂 Article 📅 2011 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 544 KB

A comment on “Some aspects of the role o

A comment on “Some aspects of the role of quantum mechanics in the theory of muscle contraction”

✍ B.F. Gray; I. Gonda 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 153 KB