@inproceedings{d0a0cabf0ebb4d43a19ca7adbb0c30f9,

title = "A weakening of alpha graphs: Quasi-boolean algebras",

abstract = "Peirce introduced the Alpha part of the logic of Existential Graphs (egs) as a diagrammatic syntax and graphical system corresponding to classical propositional logic. The logic of quasi-Boolean algebras (De Morgan algebras) is a weakening of classical propositional logic. We develop a graphical system of weak Alpha graphs for quasi-Boolean algebras, and show its soundness and completeness with respect to this algebra. Weak logical graphs arise with only minor modifications to the transformation rules of the original theory of egs. Implications of these modifications to the meaning of the sheet of assertion are then also examined.",

keywords = "Existential graphs, Quasi-Boolean algebra, Sheet of assertion, Weak Alpha graphs",

author = "Minghui Ma and Pietarinen, {Ahti Veikko}",

note = "Funding Information: M. Ma—The work supported by the Project Supported by Guangdong Province Higher Vocational Colleges & Schools Pearl River Scholar Funded Scheme (2017). A.-V. Pietarinen—The work supported by the Estonian Research Council Personal Research Grant PUT 1305 (Abduction in the Age of Fundamental Uncertainty) and Nazarbayev University Social Policy Grant 2018–2019. 1 The reference R is to Peirce{\textquoteright}s manuscripts by the Robin number [19].; 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018 ; Conference date: 18-06-2018 Through 22-06-2018",

year = "2018",

month = jan,

day = "1",

doi = "10.1007/978-3-319-91376-6_50",

language = "English",

isbn = "9783319913759",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "549--564",

editor = "Gem Stapleton and Francesco Bellucci and Amirouche Moktefi and Peter Chapman and Sarah Perez-Kriz",

booktitle = "Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Proceedings",

address = "Germany",

}