Ideographic computation in the propositional calculus

This paper will be concerned with an adaptation of Parry's trapezoid symbolism to the solving of problems. In Parry's notation ‘ p q ’, in particular, sets forth the relationship that obtains when p is true, whether q be true or false. The symbol may also be regarded as manifesting the mat...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The Journal of symbolic logic 1954-09, Vol.19 (3), p.169-171
1. Verfasser: Standley, Gerald B.
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!