@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}",
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",
note = "10th International Conference on the Theory and Application of Diagrams, Diagrams 2018 ; Conference date: 18-06-2018 Through 22-06-2018",
}