| Description |
1 online resource (xiii, 246 pages) |
| Series |
Trends in logic ; v. 36 |
|
Trends in logic ; v. 36.
|
| Contents |
Note continued: 5.3. Odintsov's Axiomatization of Truth Entailment and Falsity Entailment in SIXTEEN3 -- 5.3.1. First-Degree Calculi -- 5.3.2. Systems with Modus Ponens as the Sole Rule of Inference -- 5.4. Discussion -- 6. Sequent Systems for Trilattice Logics -- 6.1. Standard Sequent Systems for Logics Related to SIXTEEN3 -- 6.2. Alternative Sequent Calculi -- 6.3. Extensions -- 6.4. Sequent Calculi for Truth Entailment and Falsity Entailment in SIXTEEN3 -- 7. Intuitionistic Trilattice Logics -- 7.1. Introduction -- 7.2. Sequent Calculus I16 -- 7.3. Kripke Completeness for I16 -- 7.4. Tableau Calculus IT16 -- 7.5. Kripke Completeness for IT16 -- 8. Generalized Truth Values and Many-Valued Logics: Harmonious Many-Valued Logics -- 8.1. Many-Valued Propositional Logics Generalized -- 8.2. Designated and Antidesignated Values -- 8.3. Some Separated Finitely-Valued Logics -- 8.4. Harmonious Logic Inspired by the Logic of SIXTEEN3 -- 8.5. Harmony ad Infinitum -- 8.6. Some Remarks on Generalizing Harmony -- 9. Generalized Truth Values and Many-Valued Logics: Suszko's Thesis -- 9.1. Introduction -- 9.2. Suszko Reduction -- 9.2.1. Malinowski's Analysis of Suszko's Thesis -- 9.2.2. Tsuji's Analysis of Suszko's Thesis -- 9.3. Logical n-Valuedness as Inferential Many-Valuedness -- 9.3.1. What is a Logical Value? -- 9.3.2. Another Kind of Counterexample -- 9.3.3. Examples of Natural Bi-consequence Logics -- 9.3.4. Logically n-Valued Logics -- 9.4. Another Analysis and a Resume -- 9.5. Bilattice of Four Entailment Relations -- 9.5.1. Definitions of Four Entailment Relations -- 9.5.2. Orderings on Entailment Relations -- 9.5.3. Concluding Remarks -- 10. Further Developments -- 10.1. First-Order Trilattice Logics -- 10.2. Modal Trilattice Logics -- 10.3. Adverbially Qualified Truth Values |
|
Note continued: 10.4. Generalized Truth Values: Alternate Interpretations -- References |
| Summary |
Annotation Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity |
| Bibliography |
Includes bibliographical references and index |
| Subject |
Truth.
|
|
truth.
|
|
PHILOSOPHY -- Logic.
|
|
Sciences sociales.
|
|
Sciences humaines.
|
|
Truth
|
| Form |
Electronic book
|
| Author |
Wansing, H. (Heinrich)
|
| ISBN |
9789400709072 |
|
9400709072 |
|
