Strong completeness of lattice-valued logic

DOI10.1007/S001530100122zbMATH Open1024.03023OpenAlexW2079570301MaRDI QIDQ1407553FDOQ1407553

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
• Some Results on Extension of Lattice-Valued XOR, XOR-Implications and E-Implications
• Title not available (Why is that?)
• Lifting associative operations on subposets of a complete lattice
• On extensions of triangular norms on bounded lattices
• 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)