Two applications of Boolean models
From MaRDI portal
Recommendations
Cited in
(9)- scientific article; zbMATH DE number 4164144 (Why is no real title available?)
- Lindenbaum's lemma via open induction
- Saturated models of universal theories
- A content semantics for quantified relevant logics. II
- scientific article; zbMATH DE number 4070876 (Why is no real title available?)
- The Hahn-Banach theorem by disjunction elimination
- Algebraic proofs of cut elimination
- Eliminating disjunctions by disjunction elimination
- Eliminating disjunctions by disjunction elimination
This page was built for publication: Two applications of Boolean models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1128177)