✦ LIBER ✦

Structured Theory Development for a Mechanized Logic

✍ Scribed by Matt Kaufmann; J Strother Moore

Book ID: 111564172
Publisher: Springer Netherlands
Year: 2001
Tongue: English
Weight: 233 KB
Volume: 26
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1026517200045

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

STMM: A Set Theory for Mechanized Mathem

STMM: A Set Theory for Mechanized Mathematics

✍ William M. Farmer 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 126 KB

A Thermomechanical Theory for Structured

A Thermomechanical Theory for Structured Materials

✍ Sarti, G. C. ;Astarita, G. 📂 Article 📅 1975 🏛 Society of Rheology 🌐 English ⚖ 902 KB

A PENALTY-LOGIC SIMPLE-TRANSITION MODEL

A PENALTY-LOGIC SIMPLE-TRANSITION MODEL FOR STRUCTURED SEQUENCES

✍ Alan Fern 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 643 KB

LSD: A Logic-Based Visual Language for D

LSD: A Logic-Based Visual Language for Designing Structured Objects

✍ PHILIP T. COX; TREVOR J. SMEDLEY 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 653 KB

Variant design for mechanical parts base

Variant design for mechanical parts based on extensible logic theory

✍ Yi-Xiong Feng; He Hao; Jian-Rong Tan; Ichiro Hagiwara 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 660 KB

A voting mechanism for fuzzy logic

✍ J. Lawry 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 859 KB

An extended notion of binary valuation, referred to as fuzzy valuation, is introduced for vague or fuzzy concepts. It is shown that the behaviour of agents voting on the truth of sentences from a language of the propositional calculus according to such valuations can be described in terms of fuzzy l