Topological description of divergency and consistency of two-valued propositional theories

MaRDI QIDQ5455767zbMATH OpenFDO

Authors Guojun Wang, Yanhong She

Publication date 4 April 2008

zbMATH Keywords

logic metric spacedivergency degree

Mathematics Subject Classification ID

Classical propositional logic (03B05) Metric spaces, metrizability (54E35) Connected and locally connected spaces (general aspects) (54D05)

Recommendations

• A topological characterization of consistency of logic theories in propositional logic
• Topological characterization of properties of logic theories in the three-valued propositional logic system \({\L}_3^*\)
• A topological characterization of logic theory in 3-valued Łukasiewicz propositional logic
• Topology on the set of maximal consistent propositional theories and the Cantor ternary set
• Uniformities and uniform topologies in classical propositional logic

Cited in

(6)

• A topological characterization of logic theory in 3-valued Łukasiewicz propositional logic
• Topological characterization of properties of logic theories in the three-valued propositional logic system \({\L}_3^*\)
• Topological properties of three-valued logic metric space
• Uniformities and uniform topologies in classical propositional logic
• A topological characterization of consistency of logic theories in propositional logic
• Topology on the set of maximal consistent propositional theories and the Cantor ternary set

This page was built for publication: Topological description of divergency and consistency of two-valued propositional theories

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