An application of constructive completeness
From MaRDI portal
Publication:4647571
Cites work
- scientific article; zbMATH DE number 4152376 (Why is no real title available?)
- scientific article; zbMATH DE number 3552491 (Why is no real title available?)
- scientific article; zbMATH DE number 3557754 (Why is no real title available?)
- scientific article; zbMATH DE number 575914 (Why is no real title available?)
- An intuitiomstic completeness theorem for intuitionistic predicate logic
- An intuitionistically plausible interpretation of intuitionistic logic
- Constructivism in mathematics. An introduction. Volume II
- Der Aussagenkalkül und die Topologie
- Minimal models of Heyting arithmetic
- On weak completeness of intuitionistic predicate logic
- Partially Ordered Sets
- Pretopologies and completeness proofs
Cited in
(4)
This page was built for publication: An application of constructive completeness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647571)