A topological characterization of consistency of logic theories in propositional logic

DOI10.1002/MALQ.200610007zbMath1112.03007OpenAlexW2016079941MaRDI QIDQ3419670

Wang, Guojun, Yan-Hong She

Publication date: 7 February 2007

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200610007

zbMATH Keywords

consistencysimilarity degreetruth degreelogic metric space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Classical propositional logic (03B05)

Related Items (2)

Lattice and metric completions of the classical logic metric space and a comparison1 ⋮ Temporal normal form for Linear Temporal Logic formulae1

Cites Work

• Unnamed Item

This page was built for publication: A topological characterization of consistency of logic theories in propositional logic