
Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics
Author(s) -
Melvin Fitting
Publication year - 2021
Publication title -
australasian journal of logic
Language(s) - English
Resource type - Journals
ISSN - 1448-5052
DOI - 10.26686/ajl.v18i2.6722
Subject(s) - generalization , intuition , mathematics , classical logic , discrete mathematics , algebra over a field , computer science , pure mathematics , mathematical economics , epistemology , philosophy , mathematical analysis
This paper continues my work of [9], which showed there was a broad family of many valued logics that have a strict/tolerant counterpart. Here we consider a generalization of weak Kleene three valued logic, instead of the strong version that was background for that earlier work. We explain the intuition behind that generalization, then determine a subclass of strict/tolerant structures in which a generalization of weak Kleene logic produces the same results that the strong Kleene generalization did. This paper provides much background, but is not self-contained. Some results from [9] are called on, and are not reproved here.
[9] Melvin C. Fitting. “A Family of Strict/Tolerant Logics”. In: Journal of Philosophical Logic (2020). Online. Print publication forthcoming.