Search results for 'Many-valued logic' (try it on Scholar)

1000+ found
Order:
  1. in Lukasiewicz'S. Infinitely Valued Logic (1992). Arithmetic and Truth in Lukasiewicz's Infinitely Valued Logic. Logique Et Analyse 35 (140):303-312.
     
    Export citation  
     
    My bibliography  
  2.  6
    Many-Valued Logic (forthcoming). DM72. Fact and Existence. By Joseph Margolis. University of Toronto Press. 1969. Pp. V, 144, $4.50. Principles of Logic. By Alex C. Michalos. Englewood Cliffs, New Jersey, Prentice-Hall. 1969. Pp. Xiii, 433. [REVIEW] Filosofia.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  3. J. C. Beall (2003). Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic. Oxford University Press.
    Extensively classroom-tested, Possibilities and Paradox provides an accessible and carefully structured introduction to modal and many-valued logic. The authors cover the basic formal frameworks, enlivening the discussion of these different systems of logic by considering their philosophical motivations and implications. Easily accessible to students with no background in the subject, the text features innovative learning aids in each chapter, including exercises that provide hands-on experience, examples that demonstrate the application of concepts, and guides to further reading.
     
    Export citation  
     
    My bibliography   16 citations  
  4.  4
    Lev Beklemishev & Tommaso Flaminio (2016). Franco Montagna’s Work on Provability Logic and Many-Valued Logic. Studia Logica 104 (1):1-46.
    Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  42
    Merrie Bergmann (2008). An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems. Cambridge University Press.
    This volume is an accessible introduction to the subject of many-valued and fuzzy logic suitable for use in relevant advanced undergraduate and graduate courses. The text opens with a discussion of the philosophical issues that give rise to fuzzy logic – problems arising from vague language – and returns to those issues as logical systems are presented. For historical and pedagogical reasons, three-valued logical systems are presented as useful intermediate systems for studying the principles and theory behind (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  7
    D. Y. Maximov (2016). N.A. Vasil’Ev’s Logical Ideas and the Categorical Semantics of Many-Valued Logic. Logica Universalis 10 (1):21-43.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  10
    Nicholas Rescher (1969). Many-Valued Logic. New York, Mcgraw-Hill.
  8.  2
    T. J. Smiley, A. A. Zinov'ev, Guido Kung & David Dinsmore Comey (1966). Philosophical Problems of Many-Valued Logic. Philosophical Quarterly 16 (62):83.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  5
    Petr Hájek, Lluis Godo & Francesc Esteva (1996). A Complete Many-Valued Logic with Product-Conjunction. Archive for Mathematical Logic 35 (3):191-208.
    A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  10.  16
    Tim Button (2016). Knot and Tonk: Nasty Connectives on Many-Valued Truth-Tables for Classical Sentential Logic. Analysis 76 (1):7-19.
    Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  11. Merrie Bergmann (2012). An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems. Cambridge University Press.
    Professor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic designed for use on undergraduate and graduate courses in non-classical logic. Bergmann discusses the philosophical issues that give rise to fuzzy logic - problems arising from vague language - and returns to those issues as logical systems are presented. For historical and pedagogical reasons, three-valued logical systems are presented as useful intermediate systems for studying the principles and theory behind fuzzy (...). The major fuzzy logical systems - Lukasiewicz, Gödel, and product logics - are then presented as generalisations of three-valued systems that successfully address the problems of vagueness. A clear presentation of technical concepts, this book includes exercises throughout the text that pose straightforward problems, that ask students to continue proofs begun in the text, and that engage students in the comparison of logical systems. (shrink)
     
    Export citation  
     
    My bibliography  
  12.  10
    Thomas Macaulay Ferguson (2014). Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics. In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press 121-127.
    This paper examines the relationships between the many-valued logics G~ and Gn~ of Esteva, Godo, Hajek, and Navara, i.e., Godel logic G enriched with Łukasiewicz negation, and neighbors of intuitionistic logic. The popular fragments of Rauszer's Heyting-Brouwer logic HB admit many-valued extensions similar to G which may likewise be enriched with Łukasiewicz negation; the fuzzy extensions of these logics, including HB, are equivalent to G ~, as are their n-valued extensions equivalent to Gn~ for any (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. Roberto Cignoli (1999). Algebraic Foundations of Many-Valued Reasoning. Kluwer Academic Publishers.
    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 (...)
     
    Export citation  
     
    My bibliography   33 citations  
  14.  40
    Grzegorz Malinowski (1993). Many-Valued Logics. Oxford University Press.
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  15.  6
    A. A. Zinov'ev (1963). Two-Valued and Many-Valued Logic. Russian Studies in Philosophy 2 (1):69-84.
    Various interrelationships between two-valued and many-valued logics are examined in . In the present article we propose to discuss questions bearing on these interrelations which have either not been clearly identified as philosophical in that book, were not given sufficiently detailed explanation, or were not touched upon at all.
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  4
    F. Montagna & L. Sacchetti (2004). Corrigendum to "Kripke-Style Semantics for Many-Valued Logics". Mathematical Logic Quarterly 50 (1):104.
    This note contains a correct proof of the fact that the set of all first-order formulas which are valid in all predicate Kripke frames for Hájek's many-valued logic BL is not arithmetical. The result was claimed in [5], but the proof given there was incorrect.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  17.  12
    Franco Montagna (2012). Partially Undetermined Many-Valued Events and Their Conditional Probability. Journal of Philosophical Logic 41 (3):563-593.
    A logic for classical conditional events was investigated by Dubois and Prade. In their approach, the truth value of a conditional event may be undetermined. In this paper we extend the treatment to many-valued events. Then we support the thesis that probability over partially undetermined events is a conditional probability, and we interpret it in terms of bets in the style of de Finetti. Finally, we show that the whole investigation can be carried out in a logical and (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  1
    Liu Renren & Lo Czukai (1996). The Maximal Closed Classes of Unary Functions in P‐Valued Logic. Mathematical Logic Quarterly 42 (1):234-240.
    In many-valued logic the decision of functional completeness is a basic and important problem, and the thorough solution to this problem depends on determining all maximal closed sets in the set of many-valued logic functions. It includes three famous problems, i.e., to determine all maximal closed sets in the set of the total, of the partial and of the unary many-valued logic functions, respectively. The first two problems have been completely solved , and the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  19.  33
    Zoran Majkić (2008). Weakening of Intuitionistic Negation for Many-Valued Paraconsistent da Costa System. Notre Dame Journal of Formal Logic 49 (4):401-424.
    In this paper we propose substructural propositional logic obtained by da Costa weakening of the intuitionistic negation. We show that the positive fragment of the da Costa system is distributive lattice logic, and we apply a kind of da Costa weakening of negation, by preserving, differently from da Costa, its fundamental properties: antitonicity, inversion, and additivity for distributive lattices. The other stronger paraconsistent logic with constructive negation is obtained by adding an axiom for multiplicative property of weak (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20.  37
    Richard DeWitt (2005). On Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics. Journal of Philosophical Logic 34 (5/6):545 - 560.
    In this paper, I identify the source of the differences between classical logic and many-valued logics (including fuzzy logics) with respect to the set of valid formulas and the set of inferences sanctioned. In the course of doing so, we find the conditions that are individually necessary and jointly sufficient for any many-valued semantics (again including fuzzy logics) to validate exactly the classically valid formulas, while sanctioning exactly the same set of inferences as classical logic. This (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  21.  22
    Jaroslav Peregrin, Many-Valued Logic or Many-Valued Semantics?
    There have been, I am afraid, almost as many answers to the question what is logic? as there have been logicians. However, if logic is not to be an obscure "science of everything", we must assume that the majority of the various answers share a common core which does offer a reasonable delimitation of the subject matter of logic. To probe this core, let us start from the answer given by Gottlob Frege (1918/9), the person probably most (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  22.  9
    Gemma Robles, Francisco Salto & José M. Méndez (2013). Dual Equivalent Two-Valued Under-Determined and Over-Determined Interpretations for Łukasiewicz's 3-Valued Logic Ł3. Journal of Philosophical Logic (2-3):1-30.
    Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  23.  34
    Reiner Hähnle (1998). Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. Studia Logica 61 (1):101-121.
    We provide tools for a concise axiomatization of a broad class of quantifiers in many-valued logic, so-called distribution quantifiers. Although sound and complete axiomatizations for such quantifiers exist, their size renders them virtually useless for practical purposes. We show that for quantifiers based on finite distributive lattices compact axiomatizations can be obtained schematically. This is achieved by providing a link between skolemized signed formulas and filters/ideals in Boolean set lattices. Then lattice theoretic tools such as Birkhoff's representation theorem (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  35
    Melvin Fitting (1995). Tableaus for Many-Valued Modal Logic. Studia Logica 55 (1):63 - 87.
    We continue a series of papers on a family of many-valued modal logics, a family whose Kripke semantics involves many-valued accessibility relations. Earlier papers in the series presented a motivation in terms of a multiple-expert semantics. They also proved completeness of sequent calculus formulations for the logics, formulations using a cut rule in an essential way. In this paper a novel cut-free tableau formulation is presented, and its completeness is proved.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  25. H. Rasiowa (1977). Many-Valued Algorithmic Logic as a Tool to Investigate Programs. In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel 77--102.
    Direct download  
     
    Export citation  
     
    My bibliography  
  26.  35
    Marcelo Tsuji (1998). Many-Valued Logics and Suszko's Thesis Revisited. Studia Logica 60 (2):299-309.
    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 logics, while his q-logics (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  27.  35
    Shier Ju & Daniele Mundici (2008). Many-Valued Logic and Cognition: Foreword. Studia Logica 90 (1):1-2.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  10
    John N. Martin (2002). Lukasiewicz's Many-Valued Logic and Neoplatonic Scalar Modality. History and Philosophy of Logic 23 (2):95-120.
    This paper explores the modal interpretation of ?ukasiewicz's n -truth-values, his conditional and the puzzles they generate by exploring his suggestion that by ?necessity? he intends the concept used in traditional philosophy. Scalar adjectives form families with nested extensions over the left and right fields of an ordering relation described by an associated comparative adjective. Associated is a privative negation that reverses the ?rank? of a predicate within the field. If the scalar semantics is interpreted over a totally ordered domain (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  29.  2
    Aleksandr Zinoviev (1963). Philosophical Problems of Many-Valued Logic. Dordrecht, Holland, D. Reidel Pub. Co..
    Direct download  
     
    Export citation  
     
    My bibliography  
  30. Alasdair Urquhart (1986). Many-Valued Logic. In D. Gabbay & F. Guenther (eds.), Handbook of Philosophical Logic, Vol. Iii. D. Reidel Publishing Co.
    Translate
     
     
    Export citation  
     
    My bibliography   8 citations  
  31.  9
    Newton Ca da Costa & Elias H. Alves (1981). Relations Between Paraconsistent Logic and Many-Valued Logic. Bulletin of the Section of Logic 10 (4):185-191.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  6
    an Exclusive Conjunction (1998). Peter Simons MacColl and Many-Valued Logic: An Exclusive Conjunction. Nordic Journal of Philosophical Logic 3 (1):85-90.
    Direct download  
     
    Export citation  
     
    My bibliography  
  33.  24
    José M. Mendez & Francisco Salto (1998). A Natural Negation Completion of Urquhart's Many-Valued Logic C. Journal of Philosophical Logic 27 (1):75-84.
  34.  5
    Peter W. Woodruff (1973). On Compactness in Many-Valued Logic. I. Notre Dame Journal of Formal Logic 14 (3):405-407.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  35.  1
    Alasdair Urquhart (1973). An Interpretation of Many‐Valued Logic. Mathematical Logic Quarterly 19 (7):111-114.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  36.  11
    Bruce White (1974). A Note on Natural Deduction in Many-Valued Logic. Notre Dame Journal of Formal Logic 15 (1):167-168.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  3
    T. J. Smiley (1976). In § 2 I Shall Say Something About Logical Consequence, Starting From the Observation That Two Systems of Many-Valued Logic May Have Identical Truth-Values and Truth-Tables and Theorems and Still Differ Over the Inferences They Count as Valid. In J. P. Cleave & Stephan Körner (eds.), Philosophy of Logic: Papers and Discussions. University of California Press 74.
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  3
    Franco Montagna (2000). Review: Petr Hájek, Lluis Godo, Francesc Esteva, A Complete Many-Valued Logic with Product-Conjunction. [REVIEW] Bulletin of Symbolic Logic 6 (3):346-347.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  3
    Alfred Horn (1971). Review: C.C. Chang, Algebraization of Infinitely Many-Valued Logic; C. C. Chang, Algebraic Analysis of Many Valued Logics; C. C. Chang, A New Proof of the Completeness of the Lukasiewicz Axioms. [REVIEW] Journal of Symbolic Logic 36 (1):159-160.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Akira Nakamura (1963). On a Simple Axiomatic System of the Infinitely Many‐Valued Logic Based on ∧, →. Mathematical Logic Quarterly 9 (16‐17):251-263.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  41.  4
    Masazumi Hanazawa & Mitio Takano (1986). An Interpolation Theorem in Many-Valued Logic. Journal of Symbolic Logic 51 (2):448-452.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  42.  2
    R. Giles (1976). 92 Does Many-Valued Logic Have Any Use? In J. P. Cleave & Stephan Körner (eds.), Philosophy of Logic: Papers and Discussions. University of California Press 92.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43. Atwell R. Turquette (1964). Review: A. A. Zinov'ev, Philosophical Problems of Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 29 (4):213-214.
     
    Export citation  
     
    My bibliography  
  44.  1
    Alan Rose (1952). Review: Takeo Sugihara, Negation in Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 17 (4):278-279.
    Direct download  
     
    Export citation  
     
    My bibliography  
  45.  2
    Rangaswamy V. Setlur (1971). Duality in Finite Many-Valued Logic. Notre Dame Journal of Formal Logic 12 (2):188-194.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  46. David Dinsmore Comey (1963). Review: A. A. Zinov'ev, Philosophical Problems of Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 28 (3):255-256.
     
    Export citation  
     
    My bibliography  
  47. George Epstein (1977). Review: Nicholas Rescher, Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 42 (3):432-436.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Louise Hay (1970). Review: Andrzej Mostowski, An Example of a Non-Axiomatizability Many Valued Logic. [REVIEW] Journal of Symbolic Logic 35 (1):143-143.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. Peter Simons (1998). Maccoll And Many-Valued Logic: An Exclusive Conjunction. Nordic Journal of Philosophical Logic 3:85-90.
     
    Export citation  
     
    My bibliography  
  50. Z. Suetuna (1951). Review: Takeo Sugihara, Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 16 (2):151-151.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000