Keyword: Diagrammatic Notation
Article in Journal | Posted 06/10/2015
McLaughlin, Thomas, Bisanz, Elise, Cunningham, Scott R., Hendrick, Clyde, Johnson, Levi, Ketner, Kenneth L., O'Boyle, Michael (2015). "Betagraphic": An Alternative Formulation of Predicate Calculus
We offer a formulation of first-order logic that is diagrammatic in nature, retains a basic part of C. S. Peirce's own graphics, renders quantification both graphical and easily readable, and...