✦ LIBER ✦

The simple substitution property of the intermediate propositional logics on finite slices

✍ Scribed by Katsumi Sasaki

Publisher: Springer Netherlands
Year: 1993
Tongue: English
Weight: 857 KB
Volume: 52
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf01053063

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The simple substitution property of Göde

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

✍ Katsumi Sasaki 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 480 KB

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

A study of intermediate propositional lo

A study of intermediate propositional logics on the third slice

✍ Tsutomu Hosoi; Isao Masuda 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 269 KB

On the Finite Model Property of Intuitio

On the Finite Model Property of Intuitionistic Modal Logics over MIPC

✍ Takahito Aoto; Hiroyuki Shirasu 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 816 KB

A Simple One-Step Synthesis of Substitut

A Simple One-Step Synthesis of Substituted Methyl 2-Benzoylamino-3-arylaminopropenoates, Intermediates in the Preparation of Substituted Arylaminoalanines

✍ Branko Stanovnik; Mitja Urbanija; Jurij Svete; Miha Tišler 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 265 KB 👁 2 views

A simple one-step synthesis of substituted methyl 2-bemlamino-3-anilinopropenoates &-r from substituted anilines 7a-r and methyl 2-bemylaminc+ 3-dimethylaminopmpenoates 6 is described. Scheme 1