Strong completeness of lattice-valued logic

DOI10.1007/s001530100122zbMath1024.03023OpenAlexW2079570301MaRDI QIDQ1407553

Mitio Takano

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

zbMATH Keywords

lattice-valued logicstrong completenessDedekind cuts

Mathematics Subject Classification ID

Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20)

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