✦ LIBER ✦

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics

✍ Scribed by Golińska-Pilarek, Joanna; Huuskonen, Taneli; Muñoz-Velasco, Emilio

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generalized intuitionistic fuzzy geometr

✍ He, Yingdong; Chen, Huayou; Zhou, Ligang; Han, Bing; Zhao, Qianyi; Liu, Jinpei 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 691 KB

Some Intuitionistic Fuzzy Weighted Dista

✍ Zeng, Shouzhen 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 233 KB

Continuous interval-valued intuitionisti

✍ Zhou, Ligang; Tao, Zhifu; Chen, Huayou; Liu, Jinpei 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 553 KB

Methods for aggregating intuitionistic u

✍ Peide Liu; Fang Jin 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 272 KB

Some intuitionistic uncertain linguistic

✍ Liu, Peide; Liu, Zhengmin; Zhang, Xin 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 494 KB

Intuitionistic fuzzy geometric interacti

✍ He, Yingdong; Chen, Huayou; Zhou, Ligang; Liu, Jinpei; Tao, Zhifu 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 712 KB