𝔖 Bobbio Scriptorium

✦ LIBER ✦

Ordinal Logics and the Characterization of Informal Concepts of Proofby G. Kreisel

✍ Scribed by Review by: Dana Scott

Book ID: 124964134
Publisher: Association for Symbolic Logic
Year: 1962
Tongue: English
Weight: 98 KB
Volume: 27
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2963687

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The logics and boundary concepts of info

The logics and boundary concepts of information acquisition

✍ Ozog, Stanley 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 447 KB

The concept of comparative information y

The concept of comparative information yield curves and its application to risk-based site characterization

✍ de Barros, Felipe P. J.; Rubin, Yoram; Maxwell, Reed M. 📂 Article 📅 2009 🏛 American Geophysical Union 🌐 English ⚖ 523 KB

Computational Intelligence: Soft Computi

Computational Intelligence: Soft Computing and Fuzzy-Neuro Integration with Applications || Roles of Soft Computing and Fuzzy Logic in the Conception, Design and Deployment of Information/Intelligent Systems

✍ Kaynak, Okyay; Zadeh, Lotfi A.; Türkşen, Burhan; Rudas, Imre J. 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 922 KB

27Al MAS NMR characterization of AlPO4-1

27Al MAS NMR characterization of AlPO4-14 enhanced resolution and information by MQMAS Dr. Hellmut G. Karge on the occasion of his 65th birthday

✍ C. Fernandez; J.P. Amoureux; J.M. Chezeau; L. Delmotte; H. Kessler 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 646 KB

[IEEE NAFIPS/IFIS/NASA '94. First Intern

[IEEE NAFIPS/IFIS/NASA '94. First International Joint Conference of The North American Fuzzy Information Processing Society Biannual Conference. The Industrial Fuzzy Control and Intelligent Systems Conference, and the NASA Joint Technology Workshop on Neural Networks and Fuzzy Logic - San Antonio, TX, USA (18-21 Dec. 1994)] NAFIPS/IFIS/NASA '94. Proceedings of the First International Joint Conference of The North American Fuzzy Information Processing Society Biannual Conference. The Industrial Fuzzy Control and Intelligent Systems Conference, and the NASA Joint Technology Wo - Cognitive categorization revisited: extending interval valued fuzzy sets as simulation tools for concept combination

✍ Rocha, L.M. 📂 Article 📅 1994 🏛 IEEE ⚖ 498 KB

Calix[4]arene-functionalized poly-cyclop

Calix[4]arene-functionalized poly-cyclopenta[2,1-b;3,4-b?]bithiophenes with good recognition ability and selectivity for small organic molecules for application in QCM-based sensorsElectronic supplementary information (ESI) available: 1H-NMR spectra of compounds 6, 7, 8, 1, 5, 12; experimental procedures of the reactions of 7 with 3b and of 9 with 1,3-dibromopropane; preparations and characterization for 4 and 5. See http://www.rsc.org/suppdata/jm/b3/b314345g/

✍ Rizzo, Simona; Sannicol�, Franco; Benincori, Tiziana; Schiavon, Gilberto; Zecchi 📂 Article 📅 2004 🏛 Royal Society of Chemistry 🌐 English ⚖ 214 KB