A topological characterization of consistency of logic theories in propositional logic
From MaRDI portal
(Redirected from Publication:3419670)
Recommendations
- Topological models of propositional logic of problems and propositions
- Topological interpretations of provability logic
- Topological description of divergency and consistency of two-valued propositional theories
- Topology on the set of maximal consistent propositional theories and the Cantor ternary set
- scientific article; zbMATH DE number 2154581
- scientific article; zbMATH DE number 3936480
- Topological Semantics of Justification Logic
- Uniformities and uniform topologies in classical propositional logic
- Topological semantics of conservativity and interpretability logics
- Modal Logics of Topological Relations
Cited in
(14)- Topological separation principles and logical theories
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
- Lattice and metric completions of the classical logic metric space and a comparison
- Temporal normal form for linear temporal logic formulae
- scientific article; zbMATH DE number 6002414 (Why is no real title available?)
- Topology on the set of maximal consistent propositional theories and the Cantor ternary set
- Topological Semantics of Justification Logic
- Topological characterization of properties of logic theories in the three-valued propositional logic system \({\L}_3^*\)
- scientific article; zbMATH DE number 754436 (Why is no real title available?)
- A topological characterization of logic theory in 3-valued Łukasiewicz propositional logic
- Uniformities and uniform topologies in classical propositional logic
- Topological description of divergency and consistency of two-valued propositional theories
- Homeomorphism and the equivalence of logical systems
- A novel similarity measure between classical propositions and its applications
This page was built for publication: A topological characterization of consistency of logic theories in propositional logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3419670)
