✦ LIBER ✦

Syntax theory of finite lattice-valued propositional logic

✍ Scribed by XiaoDong Pan, Dan Meng, Yang Xu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantic theory of finite lattice-valued

✍ XiaoDong Pan; Yang Xu 📂 Article 📅 2010 🏛 Science in China Press (SCP) 🌐 English ⚖ 214 KB

Lattice-valued modal propositional logic

✍ HuiXian Shi; GuoJun Wang 📂 Article 📅 2010 🏛 Science in China Press (SCP) 🌐 English ⚖ 179 KB

Syntax of first-order lattice valued log

✍ Yang Xu; Keyun Qin; Zhenming Song 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 173 KB

Lattice-valued modal propositional logic

✍ Yi Liu; Jun Liu; Shu-wei Chen; Yang Xu 📂 Article 📅 2012 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 170 KB

A unified algorithm for finding\(k\)-IES

✍ He, Xingxing; Xu, Yang; Liu, Jun; Chen, Shuwei 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 384 KB

The Logics’ Explorer: aMaplepackage for

✍ Eugenio Roanes-Lozano; José Antonio Alonso; Antonio Hernando; Luis M. Laita; Eug 📂 Article 📅 2011 🏛 Springer Milan 🌐 English ⚖ 207 KB