A topological characterization of consistency of logic theories in propositional logic
From MaRDI portal
Publication:3419670
DOI10.1002/malq.200610007zbMath1112.03007MaRDI QIDQ3419670
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
Related Items
Lattice and metric completions of the classical logic metric space and a comparison1, Temporal normal form for Linear Temporal Logic formulae1
Cites Work