A brief proof of the full completeness of Shin's Venn diagram proof system

DOI10.1007/S10992-005-9016-5MaRDI QIDQ2499299zbMATH OpenOpenAlexFDO

Authors Nathaniel Miller

Publication date 14 August 2006

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-005-9016-5

zbMATH Keywords

completenessformal system for reasoning with Venn diagrams

Mathematics Subject Classification ID

General logic (03B99)

Recommendations

• scientific article; zbMATH DE number 93462
• The Completeness of Propositional Resolution: A Simple and Constructive Proof
• scientific article; zbMATH DE number 1136087
• A constructive proof of Vizing's theorem
• The complete nontrivial-intersection theorem for systems of finite sets
• An alternate proof of Statman's finite completeness theorem
• Proving completeness by logic
• scientific article; zbMATH DE number 5046775

Cites work

• scientific article; zbMATH DE number 794693 (Why is no real title available?)
• scientific article; zbMATH DE number 872502 (Why is no real title available?)
• Towards a model theory of diagrams

Cited in

(1)

• Towards a model theory of diagrams

This page was built for publication: A brief proof of the full completeness of Shin's Venn diagram proof system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2499299)