Strong completeness of lattice-valued logic
From MaRDI portal
Publication:1407553
DOI10.1007/s001530100122zbMath1024.03023OpenAlexW2079570301MaRDI QIDQ1407553
Publication date: 16 September 2003
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530100122
Related Items (6)
Systems of quantum logic ⋮ Lifting associative operations on subposets of a complete lattice ⋮ Some Results on Extension of Lattice-Valued XOR, XOR-Implications and E-Implications ⋮ On extensions of triangular norms on bounded lattices ⋮ A new way to extend t-norms, t-conorms and negations ⋮ On the extension of lattice-valued implications via retractions
This page was built for publication: Strong completeness of lattice-valued logic