scientific article; zbMATH DE number 1750162

zbMath0997.03025MaRDI QIDQ4532819

Yang Xu, Keyun Qin, Roh, Eun Hwan

Publication date: 5 June 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semanticslattice implication algebrafirst-order lattice-valued logic

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)

Related Items

Lattice-valued modal propositional logic based on M-lattice implication algebras