Proofs of some Propositions of the semi-Intuitionistic Logic with Strong Negation
Juan Manuel Cornejo, Ignacio Viglizzo
TL;DR
This paper provides formal proofs for propositions in a propositional calculus called semi-intuitionistic logic with strong negation, expanding the theoretical foundations of this logical system.
Contribution
It offers the complete proofs for propositions introduced in the initial article on semi-intuitionistic logic with strong negation, strengthening its theoretical basis.
Findings
Formal proofs of key propositions completed
Enhanced understanding of semi-intuitionistic logic with strong negation
Solidifies the logical framework for further research
Abstract
We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, Reasoning, and Knowledge · Rough Sets and Fuzzy Logic