Łu logic plays a fundamental role among many-valued logics. However, the expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Łu logic by adding a new connective which expresses multiplication. The resulting logic, PŁ, is defined, developed, and put into the context of other well-known many-valued logics. We also deal with several extensions of this propositional logic. A predicate version of PŁ logic is introduced and developed too.

In this paper we provide a finite axiomatization (using two finitary rules only) for the propositional logic (called $L\Pi$ ) resulting from the combination of Lukasiewicz and Product Logics, together with the logic obtained by from $L \Pi$ by the adding of a constant symbol and of a defining axiom for $\frac{1}{2}$ , called $L \Pi\frac{1}{2}$ . We show that $L \Pi \frac{1}{2}$ contains all the most important propositional fuzzy logics: Lukasiewicz Logic, Product Logic, Gödel's Fuzzy Logic, Takeuti and Titani's (...) Propositional Logic, Pavelka's Rational Logic, Pavelka's Rational Product Logic, the Lukasiewicz Logic with $\Delta$ , and the Product and Gödel's Logics with $\Delta$ and involution. Standard completeness results are proved by means of investigating the algebras corresponding to $L \Pi$ and $L \Pi \frac{1}{2}$ . For these algebras, we prove a theorem of subdirect representation and we show that linearly ordered algebras can be represented as algebras on the unit interval of either a linearly ordered field, or of the ordered ring of integers, Z. (shrink)

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative logics. This class is broad enough to contain many “usual” logics, yet easily manageable with nice logical properties. Then we introduce its subclass–the class of weakly implicative fuzzy logics. It contains the majority of logics studied in the literature under the name fuzzy logic. We present many general theorems for (...) both classes, demonstrating their usefulness and importance. (shrink)

Book synopsis: Vagueness is currently the subject of vigorous debate in the philosophy of logic and language. Vague terms-such as "tall", "red", "bald", and "tadpole"—have borderline cases ; and they lack well-defined extensions. The phenomenon of vagueness poses a fundamental challenge to classical logic and semantics, which assumes that propositions are either true or false and that extensions are determinate. Another striking problem to which vagueness gives rise is the sorites paradox. If you remove one grain from a heap of (...) sand, surely you must be left with a heap. Yet apply this principle repeatedly as you remove grains one by one, and you end up, absurdly, with a solitary grain that counts as a heap. This anthology collects papers in the field. After an introduction that surveys the field, the essays form four groups, starting with some historically notable pieces. The 1970s saw an explosion of interest in vagueness, and the second group of essays reprints classic papers from this period. The following group of papers represent current work on the logic and semantics of vagueness. The essays in the final group are contributions to the continuing debate about vague objects and vague identity. (shrink)