The paper provides a method for a uniform complete Hilbert-style axiomatisation of Post's -conditionals and Post's negation, where m is the number of truth values and u is the number of designated truth values . The main feature of the technique which we employ in this proof generalises the well-known Kalmár Lemma which was used by its author in his completeness argument for the ordinary, two-valued logic.

A method of constructing Hilbert-type axiom systems for standard many-valued propositional logics was offered by Rosser and Turquette. Although this method is considered to be a solution of the problem of axiomatisability of a wide class of many-valued logics, the article demonstrates that it fails to produce adequate axiom systems. The article concerns finitely many-valued propositional logics of Łukasiewicz. It proves that if standard propositional connectives of the Rosser–Turquette axiom systems are (...) definable in terms of the propositional connectives of Łukasiewicz’s logics, and thus, they are normal ones, then every Rosser–Turquette axiom system for a finite-valued Łukasiewicz’s logic is semantically incomplete. (shrink)

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

This paper studies a class of infinite-valued predicate logics. A sufficient condition for axiomatizability of logics from that class is given.

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging (...) from switching theory to cognitive modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the matrix method, the author sheds light on the profound problems of many-valuedness criteria and its classical characterizations. The book also includes information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many-valuedness. With its selective bibliography and many useful historical references, this book provides (...) logicians, computer scientists, philosophers, and mathematicians with a valuable survey of the subject. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

In the paper some consequence operations generated by ukasiewicz's matrices are examined.

In the monograph [1] of Chang and Keisler, a considerable extent of model theory of the first order continuous logic is ingeniously developed without using any notion of provability.In this paper we shall define the notion of provability in continuous logic as well as the notion of matrix, which is a natural extension of one in finite-valued logic in [2], and develop the syntax and semantics of it mostly along the line in the preceding paper [2]. Fundamental theorems of (...) model theory in continuous logic, which have been proved with purely model-theoretic proofs in [1], will be proved with proofs which are natural extensions of those in two-valued logic. (shrink)

This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search. The book is suitable for self-study, making the basic tools of many-valued logic accessible to students and scientists with a basic mathematical knowledge who are interested in the mathematical treatment of uncertain information. Stressing the interplay between algebra and logic, the book contains material never (...) before published, such as a simple proof of the completeness theorem and of the equivalence between Chang's MV algebras and Abelian lattice-ordered groups with unit - a necessary prerequisite for the incorporation of a genuine addition operation into fuzzy logic. Readers interested in fuzzy control are provided with a rich deductive system in which one can define fuzzy partitions, just as Boolean partitions can be defined and computed in classical logic. Detailed bibliographic remarks at the end of each chapter and an extensive bibliography lead the reader on to further specialised topics. (shrink)

The papers in this special issue are based on presentations delivered at the conference Epistemic Aspects of Many-valued Logics, held at the Institute of Philosophy of the Academy of Sciences of the Czech Republic, in Prague, 2010. All papers consequently revolve around the application of non-classical logical tools—mathematical fuzzy logic and/or probability theory—to epistemological issues.Timothy Williamson employs a modal epistemic logic enriched with probabilities to generalize an argument against the KK-principle. He argues that we can know a (...) proposition even if our evidential probability for that proposition is low. In fact he argues that the evidential probability of a known proposition can be (arbitrarily) close to 0. The argument is first presented with a basic idealized model, which is then extended to much more complicated and realistic models. This then raises a problem for decision theory, since you can know that p, while your evidence tells you (strongly) that not p. Wil .. (shrink)

In Hájek et al. (J Symb Logic 65(2):669–682, 2000) the authors introduce the concept of supersound logic, proving that first-order Gödel logic enjoys this property, whilst first-order Łukasiewicz and product logics do not; in Hájek and Shepherdson (Ann Pure Appl Logic 109(1–2):65–69, 2001) this result is improved showing that, among the logics given by continuous t-norms, Gödel logic is the only one that is supersound. In this paper we will generalize the previous results. Two conditions will be presented: (...) the first one implies the supersoundness and the second one non-supersoundness. To develop these results we will use, between the other machineries, the techniques of completions of MTL-chains developed in Labuschagne and van Alten (Proceedings of the ninth international conference on intelligent technologies, 2008) and van Alten (2009). We list some of the main results. The first-order versions of MTL, SMTL, IMTL, WNM, NM, RDP are supersound; the first-order version of an axiomatic extension of BL is supersound if and only it is n-potent (i.e. it proves the formula ${\varphi^{n}\,\to\,\varphi^{n\,{+}\,1}}$ for some ${n\,\in\,\mathbb{N}^+}$ ). Concerning the negative results, we have that the first-order versions of ΠMTL, WCMTL and of each non-n-potent axiomatic extension of BL are not supersound. (shrink)

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract (...) class='Hi'>logics, while his q-logics were generated by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)

Here is an informal treatment of many-valued logic, especially propositional logic, using Polish notation. The relations of n-valued logics with 2-valued logics are considered, and numerous systems are drawn on for illustrations. The book is written with an eye to scientific applications of many-valued logics, and considers empirical application of formal calculi. A short section on the relation of formal and "dialectical" logics appears. The work is introductory in nature.—P. S.

his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes (...) examples of application to particular many-valued formal systems. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment (...) of a truth value and the exclusion of the opposite truth value describe the same situation.). (shrink)

A many-valued (aka multiple- or multi-valued) semantics, in the strict sense, is one which employs more than two truth values; in the loose sense it is one which countenances more than two truth statuses. So if, for example, we say that there are only two truth values—True and False—but allow that as well as possessing the value True and possessing the value False, propositions may also have a third truth status—possessing neither truth value—then we have a (...) class='Hi'>many-valued semantics in the loose but not the strict sense. A many-valued logic is one which arises from a many-valued semantics and does not also arise from any two-valued semantics [Malinowski, 1993, 30]. By a ‘logic’ here we mean either a set of tautologies, or a consequence relation. We can best explain these ideas by considering the case of classical propositional logic. The language contains the usual basic symbols (propositional constants p, q, r, . . .; connectives ¬, ∧, ∨, →, ↔; and parentheses) and well-formed formulas are defined in the standard way. With the language thus specified—as a set of well-formed formulas—its semantics is then given in three parts. (i) A model of a logical language consists in a free assignment of semantic values to basic items of the non-logical vocabulary. Here the basic items of the non-logical vocabulary are the propositional constants. The appropriate kind of semantic value for a proposition is a truth value, and so a model of the language consists in a free assignment of truth values to basic propositions. Two truth values are countenanced: 1 (representing truth) and 0 (representing falsity). (ii) Rules are presented which determine a truth value for every proposition of the language, given a model. The most common way of presenting these rules is via truth tables (Figure 1). Another way of stating such rules—which will be useful below—is first to introduce functions on the truth values themselves: a unary function ¬ and four binary functions ∧, ∨, → and ↔ (Figure 2).. (shrink)

Here we suggest a formal using of N.A. Vasil’ev’s logical ideas in categorical logic: the idea of “accidental” assertion is formalized with topoi and the idea of the notion of nonclassical negation, that is not based on incompatibility, is formalized in special cases of monoidal categories. For these cases, the variant of the law of “excluded n-th” suggested by Vasil’ev instead of the tertium non datur is obtained in some special cases of these categories. The paraconsistent law suggested by Vasil’ev (...) is also demonstrated with linear and tensor logics but in a form weaker than he supposed. As we have, in fact, many truth-values in linear logic and topos logic, the admissibility of the traditional notion of inference in the categorical interpretation of linear and intuitionistic proof theory is discussed. (shrink)

The most natural and straightforward step beyond two‐valued logic is to introduce more logical values, thereby rejecting the principle of bivalence. Another, indirect, way consists in challenging the classical laws concerning the sentence connectives and introducing other non‐two‐valued connectives into the language. Either way, prepositional logic seems fundamental to many‐valuedness, rather than its first‐order extension. Hence, although there has been interesting research into first‐order many‐valued logics, we shall confine our discussion here to the 0‐order (...) case. (shrink)

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 a million humans living great lives is better than any number of worm-like creatures feeling a few seconds of pleasure each. Some have related bad things to good things along the same lines. For example, one may hold that a future in which a sufficient number of beings experience a lifetime of torture is bad, regardless (...) of what else that future contains, while minor bad things, such as slight unpleasantness, can always be counterbalanced by enough good things. Among the most common objections to such ideas are sequence arguments. But sequence arguments are usually formulated in classical logic. One might therefore wonder if they work if we instead adopt many-valued logic. I show that, in a common many-valued logical framework, the answer depends on which versions of transitivity are used as premises. We get valid sequence arguments if we grant any of several strong forms of transitivity of 'is at least as bad as' and a notion of completeness. Other, weaker forms of transitivity lead to invalid sequence arguments. The plausibility of the premises is largely set aside here, but I tentatively note that almost all of the forms of transitivity that lead to valid sequence arguments seem intuitively problematic. Still, a few moderately strong forms of transitivity that might be acceptable lead to valid sequence arguments, although weaker statements of the initial value claims avoid these arguments at least to some extent. (shrink)

General preface -- Preface to the second edition -- What is philosophy of religion? -- Philosophy of religion and other disciplines -- Philosophy of religion and philosophy -- Can thinking about religion be neutral? -- Fideism -- Neutralism -- Critical dialogue -- The theistic God : the project of natural theology -- Concepts of God -- The theistic concept of God -- A case study : divine foreknowledge and human freedom -- The problem of religious language -- Natural theology -- (...) Proofs of God's existence -- Classical arguments for God's existence -- Ontological arguments -- Cosmological arguments -- Teleological arguments -- Moral arguments -- Conclusions: The value of theistic argument -- Religious experience -- Types of religious experience -- Models for understanding experience -- Experience of God as direct and mediated -- Are religious experiences veridical? -- Checking experiential claims -- Special acts of God : revelation and miracles -- Special acts -- Theories of revelation -- Is the traditional view defensible? -- What is a miracle? -- Is it reasonable to believe in miracles? -- Can a revelation have special authority? -- Religion, modernity, and science -- Modernity and religious belief -- Naturalism -- Do the natural sciences undermine religious belief? -- Objections from the social sciences -- Religious uses of modern atheism -- The problem of evil -- Types of evil, versions of the problem, and types of response -- The logical form of the problem -- The evidential form of the problem -- Horrendous evils and the problem of hell -- Divine hiddenness -- Faith(s) and reason -- Faith : subjectivity in religious arguments -- The evidentialist challenge to religious belief -- Reformed epistemology -- The place of subjectivity in forming beliefs -- Interpretive judgments and the nature of a cumulative case -- Can faith be certain? -- Faith and doubt : can religious faith be tested? -- What is faith? -- Could one religion be true? (shrink)

In this paper, we investigate the family LS0.5 of many-valued modal logics LS0.5's. We prove that the modalities of necessity and possibility of the logics LS0.5's capture well-defined bivalent concepts of logical validity and logical consistency. We also show that these modalities can be used as recovery operators.