Search
Search Results
-
Many-valued logic and sequence arguments in value theory
Some find it plausible that a sufficiently long duration of torture is worse than any duration of mild headaches. Similarly, it has been claimed that...
-
Many-Valued Modalities and Paraconsistency
This paper extends the three-valued paraconsistent logic LFI1 to a class of multimodal systems, generating an infinite hierarchy of three-valued...
-
Many-Valued Judgment Aggregation – Some New Possibility Results
Judgment aggregation (JA) poses the problem of finding a consistent collective judgment for a set of logically related propositions, based on...
-
The Boolean Many-Valued Solution to the Sorites Paradox
This paper offers the Boolean many-valued solution to the Sorites Paradox. According to the precisification-based Boolean many-valued theory, from...
-
On Woodruff’s Constructive Nonsense Logic
Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter...
-
Tableaux Calculi for Many-Valued Logics
In Chap. 4, we present another deduction system based on tableaux calculus for four-valued logic and introduce the analytic tableaux as a basis for...
-
Calculi for Many-Valued Logics
We present a number of equivalent calculi for many-valued logics and prove soundness and strong completeness theorems. The calculi are obtained from...
-
-
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology
Over the past ten years, the community researching connexive logics is rapidly growing and a number of papers have been published. However, when it...
-
Introduction
Traditional binary-valued logic [16,20,21,32] has two values, corresponding to true and false. For many-valued logics, it is not obvious to give the...
-
Supervaluationism, Modal Logic, and Weakly Classical Logic
A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as...
-
Introduction to Fuzzy Logic
In real world, we sometimes face situations where we don’t know which decision is right or wrong, and the correct action is hidden from view. At this...
-
A Joint Logic of Problems and Propositions
AbstractIn a 1985 commentary to his collected works, Kolmogorov informed the reader that his 1932 paper On the interpretation of intuitionistic logic ...
-
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases
Weighted knowledge bases for description logics with typicality under a “concept-wise” multi-preferential semantics provide a logical interpretation...
-
Editorial Introduction: Substructural Logics and Metainferences
The concept of substructural logic was originally introduced in relation to limitations of Gentzen’s structural rules of Contraction, Weakening and...
-
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic
Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic ‘of nonsense’...
-
Łukasiewicz’s concept of logic and anti-psychologism
In the nineteenth century, philosophy was at a crossroads. While the natural and technical sciences were develo** in an unprecedented fashion,...
-
Brief Introduction to Propositional Logic and Predicate Calculus
Many recent neuro symbolic approaches rely on an underlying logical language. In this chapter, we provide a brief introduction to the basic concepts...
-
Robust computation tree logic
It is widely accepted that every system should be robust in that “small” violations of environment assumptions should lead to “small” violations of...
