Strong completeness of lattice-valued logic

DOI10.1007/S001530100122MaRDI QIDQ1407553zbMATH OpenOpenAlexFDO

Authors 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

strong completenessDedekind cutslattice-valued logic

Mathematics Subject Classification ID

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

Cited in

(9)

• Lift and generalized ordinal sum of negations on bounded posets
• Strong Completeness of a Pure Free Logic
• scientific article; zbMATH DE number 4218111 (Why is no real title available?)
• On extensions of triangular norms on bounded lattices
• Lifting associative operations on subposets of a complete lattice
• Some results on extension of lattice-valued XOR, XOR-implications and E-implications
• Systems of quantum logic
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1407553)