Lattice and metric completions of the classical logic metric space and a comparison1

DOI10.3233/IFS-151987zbMath1364.03013WikidataQ62038095 ScholiaQ62038095MaRDI QIDQ2987925

Huixian Shi, Yong-Ming Li

Publication date: 18 May 2017

Published in: Journal of Intelligent & Fuzzy Systems (Search for Journal in Brave)

zbMATH Keywords

metric completiontruth degreeD-posetlattice completionclassical logic metric space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Other algebras related to logic (03G25) Classical propositional logic (03B05) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized Bosbach and Riečan states based on relative negations in residuated lattices
• Lattice-valued modal propositional logic and its completeness
• Quantitative logic
• Metamathematics of fuzzy logic
• Theory of truth degrees of propositions in two-valued logic
• Categorial characterization of the MacNeille completion
• A topological characterization of consistency of logic theories in propositional logic

This page was built for publication: Lattice and metric completions of the classical logic metric space and a comparison1