𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The simple substitution property of Gödel's intermediate propositional logicsSn's

✍ Scribed by Katsumi Sasaki

Publisher
Springer Netherlands
Year
1990
Tongue
English
Weight
480 KB
Volume
49
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

✦ Synopsis

The simple substitution property provides a systematic and easy method for proving a theorem from the additional axioms of intermediate propositional logics. There have been known only four intermediate logics that have the additional axioms with the property. In this paper, we reformulate the many valued logics S'n defined in Grdel [3] and prove the simple substitution property for them. In our former paper E9], we proved that the sets of axioms composed of one propositional variable do not have the property except two of them. Here we provide another proof for this theorem.

📜 SIMILAR VOLUMES

Properties of multivariable fuzzy contro
Properties of multivariable fuzzy controller under Gödel's implication
✍ Shaocheng Tong; Tianyou Chai 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 238 KB

In this paper, we obtain the upper bounds and lower bounds for a multivariable fuzzy logic controller under G6del's implication without any constraint conditions, and gave a sufficient condition in which fuzzy outputs can reach their upper and lower bounds.