FIGURE 6 - available via license: Creative Commons Attribution 4.0 International
Content may be subject to copyright.
Source publication
Peirce’s triadic logic has been under discussion since its discovery in the 1960s by Fisch and Turquette. The experiments with matrices of three-valued logic are recorded in a few pages of unpublished manuscripts dated 1909, a decade before similar systems have been developed by logicians. The purposes of Peirce’s work on such logic, as well as sem...
Citations
... Zalamea, 2003). enables us to use straightforward types of proof calculi, such as analytical tableaux (Salatiel, 2022). ...
... In Salatiel (2022) we showed proof in analytical tableaux that the P3 system is sound and complete. ...
