Pages that link to "Item:Q3419670"
From MaRDI portal
The following pages link to A topological characterization of consistency of logic theories in propositional logic (Q3419670):
Displaying 8 items.
- Topological separation principles and logical theories (Q1840979) (← links)
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027) (← links)
- Lattice and metric completions of the classical logic metric space and a comparison1 (Q2987925) (← links)
- Temporal normal form for Linear Temporal Logic formulae1 (Q2988557) (← links)
- (Q3113908) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- (Q4697917) (← links)
- Homeomorphism and the equivalence of logical systems (Q5937829) (← links)