Pages that link to "Item:Q4858821"
From MaRDI portal
The following pages link to Pretopologies and completeness proofs (Q4858821):
Displaying 20 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- A constructive investigation of satisfiability (Q651313) (← links)
- The semi-precompactness axiom (Q707314) (← links)
- Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609) (← links)
- Some points in formal topology. (Q1427787) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- On A neglected path to intuitionism (Q2339011) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- Duality and definability in first order logic (Q3137743) (← links)
- Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)
- (Q3795832) (← links)
- Local possibilistic logic (Q4354626) (← links)
- An application of constructive completeness (Q4647571) (← links)
- (Q4904112) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)