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

1000+ found
Sort by:
  1. in Lukasiewicz'S. Infinitely Valued Logic (1992). Arithmetic and Truth in Lukasiewicz's Infinitely Valued Logic. Logique Et Analyse 35 (140):303-312.score: 1640.0
     
    My bibliography  
     
    Export citation  
  2. 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.score: 1320.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. J. C. Beall (2003). Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic. Oxford University Press.score: 720.0
    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.
     
    My bibliography  
     
    Export citation  
  4. Merrie Bergmann (2008). An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems. Cambridge University Press.score: 702.0
    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  
     
    My bibliography  
     
    Export citation  
  5. Nicholas Rescher (1969). Many-Valued Logic. New York, Mcgraw-Hill.score: 630.0
     
    My bibliography  
     
    Export citation  
  6. 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.score: 595.0
    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)  
     
    My bibliography  
     
    Export citation  
  7. Grzegorz Malinowski (1993). Many-Valued Logics. Oxford University Press.score: 569.0
    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  
     
    My bibliography  
     
    Export citation  
  8. 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.score: 562.0
    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 (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Marcelo Tsuji (1998). Many-Valued Logics and Suszko's Thesis Revisited. Studia Logica 60 (2):299-309.score: 554.0
    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)  
     
    My bibliography  
     
    Export citation  
  10. Petr Hájek, Lluis Godo & Francesc Esteva (1996). A Complete Many-Valued Logic with Product-Conjunction. Archive for Mathematical Logic 35 (3):191-208.score: 546.0
    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.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Alexej P. Pynko (2010). Many-Place Sequent Calculi for Finitely-Valued Logics. Logica Universalis 4 (1):41-66.score: 526.0
    In this paper, we study multiplicative extensions of propositional many-place sequent calculi for finitely-valued logics arising from those introduced in Sect. 5 of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) through their translation by means of singularity determinants for logics and restriction of the original many-place sequent language. Our generalized approach, first of all, covers, on a uniform formal basis, both the one developed in Sect. 5 of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) for singular (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Melvin Fitting (1995). Tableaus for Many-Valued Modal Logic. Studia Logica 55 (1):63 - 87.score: 492.0
    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)  
     
    My bibliography  
     
    Export citation  
  13. 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.score: 487.0
    Ł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)  
     
    My bibliography  
     
    Export citation  
  14. Franco Montagna (2012). Partially Undetermined Many-Valued Events and Their Conditional Probability. Journal of Philosophical Logic 41 (3):563-593.score: 486.0
    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)  
     
    My bibliography  
     
    Export citation  
  15. Jaroslav Peregrin, Many-Valued Logic or Many-Valued Semantics?score: 486.0
    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 (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Zoran Majkić (2008). Weakening of Intuitionistic Negation for Many-Valued Paraconsistent da Costa System. Notre Dame Journal of Formal Logic 49 (4):401-424.score: 486.0
    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 (4 more)  
     
    My bibliography  
     
    Export citation  
  17. Reiner Hähnle (1998). Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. Studia Logica 61 (1):101-121.score: 480.0
    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)  
     
    My bibliography  
     
    Export citation  
  18. Roberto Cignoli (1999). Algebraic Foundations of Many-Valued Reasoning. Kluwer Academic Publishers.score: 480.0
    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 (...)
     
    My bibliography  
     
    Export citation  
  19. F. Montagna & L. Sacchetti (2004). Corrigendum to "Kripke-Style Semantics for Many-Valued Logics". Mathematical Logic Quarterly 50 (1):104.score: 479.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. F. Montagna & L. Sacchetti (2003). Kripke-Style Semantics for Many-Valued Logics. Mathematical Logic Quarterly 49 (6):629.score: 479.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  21. Stan J. Surma (1995). An Axiomatisation of the Conditionals of Post's Many Valued Logics. Mathematical Logic Quarterly 41 (3):369-372.score: 479.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. Dan Butnariu, Erich Peter Klement, Radko Mesiar & Mirko Navara (2005). Sufficient Triangular Norms in Many-Valued Logics with Standard Negation. Archive for Mathematical Logic 44 (7):829-849.score: 479.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. John N. Martin (2002). Lukasiewicz's Many-Valued Logic and Neoplatonic Scalar Modality. History and Philosophy of Logic 23 (2):95-120.score: 477.0
    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)  
     
    My bibliography  
     
    Export citation  
  24. 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.score: 477.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Robert John Ackermann (1967). An Introduction to Many-Valued Logics. New York, Dover Publications.score: 470.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  26. J. Barkley Rosser (1977). Many-Valued Logics. Greenwood Press.score: 470.0
  27. Ivan Stojmenović (1987). Some Combinatorial and Algorithmic Problems in Many-Valued Logics. University of Novi Sad, Faculty of Science, Institute of Mathematics.score: 470.0
     
    My bibliography  
     
    Export citation  
  28. Aleksandr Zinoviev (1963). Philosophical Problems of Many-Valued Logic. Dordrecht, Holland, D. Reidel Pub. Co..score: 468.0
     
    My bibliography  
     
    Export citation  
  29. Bruce White (1974). A Note on Natural Deduction in Many-Valued Logic. Notre Dame Journal of Formal Logic 15 (1):167-168.score: 459.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. 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.score: 459.0
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  31. Peter W. Woodruff (1973). On Compactness in Many-Valued Logic. I. Notre Dame Journal of Formal Logic 14 (3):405-407.score: 459.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. 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.score: 459.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Masazumi Hanazawa & Mitio Takano (1986). An Interpolation Theorem in Many-Valued Logic. Journal of Symbolic Logic 51 (2):448-452.score: 459.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  34. Rangaswamy V. Setlur (1971). Duality in Finite Many-Valued Logic. Notre Dame Journal of Formal Logic 12 (2):188-194.score: 459.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  35. 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.score: 459.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. 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.score: 459.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. 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.score: 459.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Atwell R. Turquette (1964). Review: A. A. Zinov'ev, Philosophical Problems of Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 29 (4):213-214.score: 459.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. David Dinsmore Comey (1963). Review: A. A. Zinov'ev, Philosophical Problems of Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 28 (3):255-256.score: 459.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. an Exclusive Conjunction (1998). Peter Simons MacColl and Many-Valued Logic: An Exclusive Conjunction. Nordic Journal of Philosophical Logic 3 (1):85-90.score: 459.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. 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.score: 459.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. George Epstein (1977). Review: Nicholas Rescher, Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 42 (3):432-436.score: 459.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Louise Hay (1970). Review: Andrzej Mostowski, An Example of a Non-Axiomatizability Many Valued Logic. [REVIEW] Journal of Symbolic Logic 35 (1):143-143.score: 459.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Akira Nakamura (1963). On a Simple Axiomatic System of the Infinitely Many‐Valued Logic Based on ∧, →. Mathematical Logic Quarterly 9 (16‐17):251-263.score: 459.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  45. Alan Rose (1952). Review: Takeo Sugihara, Negation in Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 17 (4):278-279.score: 459.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Z. Suetuna (1951). Review: Takeo Sugihara, Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 16 (2):151-151.score: 459.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Takeo Sugihara (1970). Review: Akira Nakamura, (Yoso Ronri to Tati Ronri No Kankei Ni Tuite): On the Relation Between Modal Logic and Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 35 (4):582-582.score: 459.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. Alasdair Urquhart (1973). An Interpretation of Many‐Valued Logic. Mathematical Logic Quarterly 19 (7):111-114.score: 459.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Alasdair Urquhart (1986). Many-Valued Logic. In D. Gabbay & F. Guenther (eds.), Handbook of Philosophical Logic, Vol. Iii. D. Reidel Publishing Co..score: 459.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  50. Shier Ju & Daniele Mundici (2008). Many-Valued Logic and Cognition: Foreword. Studia Logica 90 (1):1-2.score: 450.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000