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

zbMATH Open1141.03306MaRDI QIDQ5455767FDOQ5455767

Authors: Guojun Wang, Yanhong She 

Publication date: 4 April 2008

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

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)

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)