Pages that link to "Item:Q2753679"
From MaRDI portal
The following pages link to Sequents, frames, and completeness (Q2753679):
Displaying 17 items.
- A representation of stably compact spaces, and patch topology. (Q1427774) (← links)
- Entailment systems for stably locally compact locales (Q1434362) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- A syntactical proof of the Marriage Lemma. (Q1853584) (← links)
- Clausal logic and logic programming in algebraic domains (Q1854478) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- Completeness and Decidability in Sequence Logic (Q3498460) (← links)
- (Q4453706) (← links)
- (Q4553278) (← links)
- (Q4636285) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- (Q5595145) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)