Syntax theory of finite lattice-valued propositional logic

DOI10.1007/s11432-012-4580-0zbMath1488.03003OpenAlexW1997333000MaRDI QIDQ5018266

Yang Xu, Dan Meng, Xiaodong Pan

Publication date: 15 December 2021

Published in: Science China Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11432-012-4580-0

Mathematics Subject Classification ID

Many-valued logic (03B50)

This page was built for publication: Syntax theory of finite lattice-valued propositional logic