𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Alternative Axioms for Peirce's Triadic Logic

✍ Scribed by Atwell R. Turquette

Publisher
John Wiley and Sons
Year
1978
Tongue
English
Weight
124 KB
Volume
24
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Quantification for Peirce's preferred sy
Quantification for Peirce's preferred system of triadic logic
✍ Atwell R. Turquette πŸ“‚ Article πŸ“… 1981 πŸ› Springer Netherlands 🌐 English βš– 610 KB

Without introducing quantifiers, minimal axiomatic systems have already been constructed for l%irce's triadic logics. The present paper constructs a dual pair of axiomatic systems which can be used to introduce quantifiers into Peirce's preferred system of triadic logic. It is assumed (on the basis

Alternative foundations for Reiter's def
Alternative foundations for Reiter's default logic
✍ Thomas Linke; Torsten Schaub πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 443 KB

We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from the necessity of exhaustive consistency checks with respect to the finally resulting set of conclusions; often this so-called ex