Many-Valued Logics

Philosophy of Logic

Volumn , Issue , 2006, Pages 675-722

  Gottwald, Siegfried ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84868530056     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-044451541-4/50021-X     Document Type: Chapter

References (154)

1. P. Agliano, I. M. A. Ferreirim and F. Montagna. Basic hoops: an algebraic study of continuous t-norms. Studia Logica (200X, to appear)
2. A. C. Alchourron, G. P. Gärdenfors and M. D. Makinson (1985) On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50 510-530.
3. A. L. Aqvist (1962) Reflections on the logic of nonsense,. Theoria 28 138-157.
4. A. A. Avron (1999) On the expressive power of three-valued and four-valued languages. J. of Logic and Computation 9 977-994.
5. M. Baaz (1996) Infinite-valued Gödel logics with 0-1 projections and relativizations. P. Hájek (Eds) Gödel'96 Lecture Notes in Logic 6 New York: Springer 23-33.
6. M. Baaz, C.G. Fermüller, G. Quirchmayr and R. Zach (1993) A many-valued logic for default reasoning. L. Gün, Onvural E., Gelenbe (Eds) Proc. 8th Internat. Symp. Computer and Information Sci. ceISCIS VIII, Istanbul, Nov. 1993 Ankara: Middle East Techn. Univ. 476-479.
7. L. Baudry (1950) La Querelle des Future Contingents: Louvain 1465-1475. Vrin, Paris
8. L. Běhounek and P. Cintula. Fuzzy class theory, Fuzzy Sets Systems (to appear, 200X).
9. J.L. Bell (1985) Boolean-Valued Models and Independence Proofs in Set Theory. Oxford Logic Guides 12 Oxford: Oxford University Press
10. N.D. Belnap (1977) How a computer should think. G. Ryle (Eds) Contemporary Aspects of Philosophy Stockfield: Oriel Press 30-56. Reidel, Dordrecht
11. N.D. Belnap (1977) A useful four-valued logic. J.M. Dunn, G. Epstein (Eds) Modern Uses of Multiple-Valued Logic 8-37.
12. P. Bernays (1926) Axiomatische Untersuchungen des Aussagenkalküls der “Principia Mathematica”. Math. Zeitschr. 25 305-320.
13. E.W. Beth (1965) The Foundations of Mathematics. Amsterdam: North-Holland Publ. Comp.
14. M. Black (1937) Vagueness: an exercise logical analysis. Philosophy of Science 4 427-455.
15. M. Black (1963) Reasoning with loose concepts. Dialogue 2 1-12.
16. U. Blau (1978) Die dreiwertige Logik der Sprache: ihre Syntax, Semantik und Anwendung in der Sprachanalyse. Berlin: de Gruyter
17. D.A. Bočvar (1938) Ob odnom trechznačnom isčislenii i ego primenenii k analizu paradoksov klassičeskogo funkcional'nogo isčislenija. Mat. Sbornik 4(46), 287-308.
18. D.A. Bočvar (1943) K voprosu o neprotivorečivosti odnogo trechznačnogo isčislenija. Mat. Sbornik 12(54), 353-369.
19. B. L. Bolc and B. P. Borowik (1992) Many-Valued Logics 1 Berlin: Theoretical Foundations. Springer
20. R. Booth and E. Richter (2003) On revising fuzzy belief bases. U. Kjaerul, C. Meek (Eds) UAI 2003. Proc. 19. Internat. Conf. on Uncertainty in Artificial Intelligence Acapulco, Mexico San Francisco: Morgan Kaufmann 81-88.
21. R. Booth and E. Richter (2005) On revising fuzzy belief bases. Studia Logica 80 29-61.
22. D. Butnariu, E.P. Klement and S. Zafrany (1995) On triangular norm-based propositional fuzzy logics. Fuzzy Sets Systems 69 241-255.
23. S. Burris and H.P. Sankappanavar (1981) A Course in Universal Algebra. New York: Springer
24. Cat-Ho and Nguyen (1973) Generalized Post Algebras and Their Applications to Some Infinitary Many-Valued Logics. Dissertationes Math. vol. 57 Warsaw: PWN
25. C.C. Chang (1958) Algebraic analysis of many valued logics. Transactions American Mathematical Society 88 476-490.
26. R. Cignoli (1982) Proper n-valued Lukasiewicz algebras as {fx718-01}-algebras of Lukasiewicz n-valued propositional calculi. Studia Logica 41 3-16.
27. R. Cignoli, F. Esteva, L. Godo and A. Torrens (2000) Basic Fuzzy Logic is the logic of continuous t-norms and their residua. Soft Computing 4 106-112.
28. R. Cignoli, I. D'Ottaviano and D. Mundici (2000) Algebraic Foundations of Many-Valued Reasoning. Dordrecht: Kluwer Acad. Publ.
29. P. Cintula (2001) The ŁΠ and ŁΠ1/2 2 propositional and predicate logics. Fuzzy Sets Systems 124 289-302.
30. P. Cintula (2001) An alternative approach to the ŁΠ logic. Neural Network World 124 561-575.
31. P. Cintula (2001) Advances in ŁΠ and ŁΠ 1/2 2 logics. Archive Math. Logic 42 449-468.
32. P. Cintula (2005) From Fuzzy Logic to Fuzzy Mathematics eb. Ph.D. Thesis Prague: Technical University
33. J.P. Cleave (1974) The notion of logical consequence in the logic of inexact predicates. Zeitschr. math. Logik Grundl. Math. 20 307-324.
34. K. Denecke and S.L. Wismath (2002) Universal Algebra and Applications in Theoretical Computer Science. Boca Raton/FL: Chapman & Hall/CRC
35. A. di Nola, G. Georgescu and A. Iorgulescu (2002) Pseudo-BL algebras. I and II. J. Multiple-Valued Logic 8 671-750.
36. M. Dummett (1959) A propositional calculus with denumerable matrix. J. Symbolic Logic 24 97-106.
37. J.M. Dunn (1976) Intuitive semantics for first-degree entailments and ‘coupled trees’. Philosophical Studies 29 149-168.
38. J.M. Dunn (1988) A comparative study of various semantical treatments of negation: a history of formal negation. D. Gabbay, H. Wansing (Eds) What is Negation Dordrecht: Kluwer 23-51.
39. P. Dwinger Ph. (1968) Generalized Post algebras. Bull. Acad. Polon. Sci., Sér. Sci. Math., Astronom., Phys. 16 559-563.
40. P. Dwinger Ph. (1977) A survey of the theory of Post algebras and their generalizations. J.M. Dunn, G. Epstein (Eds) Modern Uses of Multiple-Valued Logic Dordrecht: Reidel 53-75.
41. H.-D. Ebbinghaus (1969) Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Archiv math. Logik Grundlagenforsch. 12 39-53.
42. G. Epstein (1960) The lattice theory of Post algebras. Transactions American Math. Soc. 95 300-317.
43. D.C. Rine (Eds) (1977) Computer Science and Multiple Valued Logic Amsterdam: North-Holland Publ. Comp. 17-34.
44. G. Epstein (1990) The Semantic Foundations of Logic Vol.1 Dordrecht: Propositional Logics. Kluwer
45. G. Epstein and H. Rasiowa (1990) Theory and uses of Post algebras of order ω + ω*. I. 20th Internat. Symp. Multiple-Valued Logic, Charlotte/NC, 1990 New York: Proceedings, IEEE Computer Soc. 42-47.
46. G. Epstein and H. Rasiowa (1991) Theory and uses of Post algebras of order ω + ω*. Part II. 21st Internat. Symp. Multiple-Valued Logic, Victoria/B.C., 1991 New York: Proceedings, IEEE Computer Soc. 248-254.
47. F. Esteva and L. Godo (1999) Putting together Lukasiewicz and product logics. Mathware and Soft Computing 6 219-234.
48. F. Esteva and L. Godo (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Systems 124 271-288.
49. E. F. Esteva, G. L. Godo, H. P. Hájek and N. M. Navara (2000) Residuated fuzzy logic with an involutive negation. Archive Math. Logic 39 103-124.
50. F. Esteva, L. Godo, P. Hájek and F. Montagna (2003) Hoops and fuzzy logic. Journ. Logic and Comput. 13 531-555.
51. F. Esteva, L. Godo and F. Montagna (2001) The ŁΠ and ŁΠ1/2 2 logics: two complete fuzzy systems joining Lukasiewicz and product logics. Archive Math. Logic 39-67.
52. L.G. Esteva L. Godo and F. Montagna (2004) Equational characterization of the subvarieties of BL generated by t-norm algebras. Studia Logica 76 161-200. ser. 2, no. 11
53. V.K. Finn (1971) Ob aksiomatizacii nekotorych trechznačnych logik. Naučno- Techničeskaja Informacija 16-20.
54. V.K. Finn (1974) A criterion of functional completeness for B3. Studia Logica 33 121-125.
55. V.K. Finn (1974) Aksiomatizacii nekotorych trechznačnych isčislenij vyskazyvanij i ich algebr. Filosofija v Sovremennom Mire. Filosofija i Logika Moscow: Nauka 398-438.
56. M. Fisch and A.R. Turquette (1966) Peirce's triadic logic. Trans. Charles Sanders Peirce Society 2 71-85.
57. M.C. Fitting (1988) Logic programming on a topological bilattice. Fundamenta Informaticae 11 209-218.
58. M.C. Fitting (1989) Bilattices and the theory of truth. J. Philosophical Logic 18 225-256.
59. P. Flondor, G. Georgescu and A. Iorgulescu (2001) Pseudo t-norms and pseudo- BL algebras. Soft Computing 5 355-371.
60. G. Gerla (2001) Fuzzy Logic. Mathematical Tools for Approximate Reasoning. Trends in Logic vol. 11 Dordrecht: Kluwer Acad. Publ.
61. R. Giles (1976) Lukasiewicz logic and fuzzy set theory. Internat. J. Man-Machine Studies 8 313-327.
62. M.L. Ginsberg (1987) Multi-valued logics. M.L. Ginsberg (Eds) Readings in Nonmonotonic Reasoning Los Altos/Ca.: Morgan Kaufman 251-255.
63. M.L. Ginsberg (1988) Multivalued logic: a uniform approach to reasoning in artificial intelligence. Computational Intelligence 4 265-315.
64. L. Goddard and R. Routley (1973) The Logic of Significance and Context. Edinburgh: Scottish Academic Press
65. K. Gödel (1932) Zum intuitionistischen Aussagenkalkül, Anzeiger Akademie der Wissenschaften Wien. Math.-naturwiss. Klasse 69 65-66.
66. Ergebnisse eines mathematischen Kolloquiums H 4 40.
67. J.A. Goguen (1968) The logic of inexact concepts. Synthese 19 325-373. 1969
68. S. Gottwald (1984) Fuzzy set theory. Some aspects of the early development. H.-J. Skala, S. Termini, E. Trillas (Eds) Aspects of Vagueness Theory and Decision Libr. vol. 39 Dordrecht: Reidel 13-29.
69. S. Gottwald (1993) Fuzzy Sets and Fuzzy Logic. The Foundations of Application — From aMathematical Point of View, Vieweg Toulouse: Braunschweig/Wiesbaden and Teknea
70. S. Gottwald (2001) A Treatise on Many-Valued Logics. Studies in Logic and Computation vol. 9 Baldock: Research Studies Press
71. S. Gottwald and S. Jenei (2001) A new axiomatization for involutive monoidal t-norm based logic. Fuzzy Sets Systems 124 303-307.
72. S. Gottwald and P. Hájek (2005) T-norm based mathematical fuzzy logics. E.P. Klement, R. Mesiar (Eds) Logical, Algebraic, Analytic, and Probabilistic Aspects of Triangular Norms Elsevier: Dordrecht 275-299.
73. G. Grätzer (1979) Universal Algebra. Berlin: Springer
74. R. Grigolia R.Š. (1977) Algebraic analysis of Lukasiewicz-Tarski's n-valued logical systems. R. Wójcicki, G. Malinowski (Eds) Selected Papers on _Lukasiewicz Sentential Calculi. Wroclaw: Ossolineum 81-92.
75. A. Gupta and N. Belnap (1993) The Revision Theory of Truth. Cambridge/Mass: MIT Press
76. P. Hájek (1998) Basic fuzzy logic and BL-algebras. Soft Computing 2 124-128.
77. P. Hájek (1998) Metamathematics of Fuzzy Logic. Trends in Logic vol. 4 Dordrecht: Kluwer Acad. Publ.
78. P. Hájek (2003) Embedding standard BL-algebras into non-commutative pseudo-BLalgebras. Tatra Mt. Math. Publ. 27 125-130.
79. P. Hájek (2003) Fuzzy logics with non-commutative conjunctions. Journ. Logic and Comput. 13 469-479.
80. P. Hájek (2003) Observations on non-commutative fuzzy logics. Soft Computing 8 28-43.
81. P. Hájek (2005) Fleas and fuzzy logic. J. Multiple-Valued Logic and Soft Computing 11 137-152.
82. H. P. Hájek, G. L. Godo and E. F. Esteva (2006) A complete many-valued logic with product-conjunction. Arch. Math. Logic 35 191-208.
83. P. Hájek and Z. Haniková (2003) A development of set theory in fuzzy logic. M. Fitting, E. Orlowska (Eds) Beyond Two. Theory and Applications of Multiple-Valued Logic Heidelberg: Physica-Verlag 273-285.
84. P. Hájek, J. Paris and J. Shepherdson (2000) Rational Pavelka predicate logic is a conservative extension of Lukasiewicz predicate logic. J. Symbolic Logic 65 669-682.
85. H. S. Halldén (1949) The Logic of Nonsense. Uppsala: Uppsala Univ.
86. Z. Haniková (2001) Standard algebras for fuzzy propositional calculi. Fuzzy Sets Systems 124 309-320.
87. Z. Haniková (2003) Mathematical and Metamathematical Properties of Fuzzy Logic. Ph.D. Thesis Charles University Prague
88. J. Hekrdla, E.P. Klement and M. Navara (2003) Two approaches to fuzzy propositional logics. J. Multiple-Valued Logic and Soft Computing 9 343-360.
89. R. Horčik and P. Cintula (2004) Product Lukasiewicz logic. Archive Math. Logic 43 477-503.
90. L.R. Horn (1989) A Natural History of Negation. Chicago: University of Chicago Press
91. S. Jaśkowski (1936) Recherches sur le système de la logique intuitioniste. Actes du Congrès Internat. de Philosophie Scientifique 1936, vol. 6, Actualitès Scientifique et Industriel vol. 393 Paris: Hermann 58-61.
92. S. Jenei and F. Montagna (2002) A proof of standard completeness for Esteva and Godo's logic MTL. Studia Logica 70 183-192.
93. S. Jenei and F. Montagna (2003) A proof of standard completeness for non-commutative monoidal t-norm logic. Neural Network World 13 481-488.
94. J.T. Kearns (1974) Vagueness and failing sentences. Logique et Analyse, N. S. 17 301-315.
95. J.T. Kearns (1979) The strong completeness of a system for Kleene's three-valued logic. Zeitschr. math. Logik Grundl. Math. 25 61-68.
96. D. Klaua (1966) über einen zweiten Ansatz zur mehrwertigen Mengenlehre. Monatsberichte Deut. Akad. Wissensch. Berlin 8 161-177.
97. S.C. Kleene (1938) On notation for ordinal numbers. J. Symbolic Logic 3 150-155.
98. S.C. Kleene (1952) Introduction to Metamathematics. New York: North-Holland Publ. Comp., Amsterdam and van Nostrand
99. K. E.P. Klement, M. R. Mesiar and P. E. Pap (2000) Triangular Norms. Dordrecht: Kluwer Acad. Publ.
100. S. Körner (1966) Experience and Theory. London: Routledge & Kegan Paul
101. S.A. Kripke (1975) Outline of a theory of truth. J. of Philosophy 72 690-716.
102. J. Kühr (2003) Pseudo-BL algebras and PRl-monoids. Mathematica Bohemica 128 199-208.
103. S. Lehmke and H. Thiele (1996) On fuzzy circumscription. EUSFLAT '96. Proc. Fourth Europ. Congr. Intell. Techniques and Soft Computing, Aachen 1996 vol.1 641-645. Aachen
104. C.J. Lewis and C.H. Langford (1932) Symbolic Logic. New York: Dover
105. E.O. Lovett (1900) Mathematics at the International Congress of Philosophy, Paris 1900. Bull. Amer. Math. Soc. 7 157-183. 01
106. J. Lukasiewicz (1913) Die logischen Grundlagen der Wahrscheinlichkeits- rechnung. Krakow [cf. also his (1970)]
107. J. Lukasiewicz (1920) O logice trójwartościowej. Ruch Filozo.czny 5 170-171.
108. J. Lukasiewicz (1930) Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls. Comptes Rendus Séances Société des Sciences et Lettres Varsovie 23 51-77. cl. III
109. J. Lukasiewicz (1935) Zur Geschichte der Aussagenlogik. Erkenntnis 5 111-131.
110. J. Lukasiewicz (1953) A system of modal logic. J. Computing Systems 1 111-149.
111. J. Lukasiewicz (1970) L. Borkowski (Eds) Selected Works Amsterdam: North-Holland Publ. Comp.
112. J. Lukasiewicz and A. Tarski (1930) Untersuchungen über den Aussagenkalk ül. Comptes Rendus Séances Société des Sciences et Lettres Varsovie 23 30-50. cl. III
113. R.L. Martin and P.W. Woodruff (1975) On representing ‘True-in-L' in L. Philosophia 5 213-217.
114. H. McColl (1897) Symbolic reasoning. II. Mind, N.S. 6 493-510.
115. V. McGee (1991) Truth, Vagueness, and Paradox. Indianapolis/ Ind: Hackett Publ. Comp.
116. K. Michalski (1937) Le problème de la volonté à Oxford et à Paris au XIVe siècle. Studia Philosophica 2 233-365.
117. G.C. Moisil (1940) Recherches sur les logiques non chrysipiennes. Annales Scientifiques de l'Université de Jassy 26 431-466.
118. G. C Moisil (1941) Notes sur les logiques non-chrysipiennes. Annales Scientifiques de l'Université de Jassy 27 86-98.
119. A. Mostowski (1957) On a generalization of quantifiers. Fund. Math. 44 12-36.
120. V. Novák (1999) I. Perfilieva and J. Močkoř. Mathematical Principles of Fuzzy Logic Boston: Kluwer
121. G. Patzig (1973) Aristotle, Lukasiewicz and the origins of many-valued logic. P. Suppes, et al., (Eds) Logic, Methodology and Philosophy of Science IV Amsterdam: PWN, Warsaw and North- Holland Publ. Comp. 921-929.
122. J. Pavelka (1979) On fuzzy logic. I-III. Zeitschr. math. Logik Grundl. Math. 25 45-52.
123. J. Pavelka (1979) On fuzzy logic. I-III. Zeitschr. math. Logik Grundl. Math. 25 119-134.
124. J. Pavelka (1979) On fuzzy logic. I-III. Zeitschr. math. Logik Grundl. Math. 25 447-464.
125. C.S. Peirce (1931) Collected Papers. C. Hartshorne, et al., (Eds) Cambridge/MA: Harvard Univ. Press 1958
126. K. Piróg-Rzepecka (1977) Systemy nonsense-logics. PWN, Warsaw-Wroclaw
127. D. Poole (1989) What the lottery paradox tells us about default reasoning. H.J. Levesque, R.J. Brachman, R. Reiter (Eds) KR '89: Proc. First Internat. Conf. Principles of Knowl. Repres. and Reas. San Matteo/Ca.: Morgan Kaufmann 333-340.
128. E.L. Post (1921) Introduction to a general theory of elementary propositions. Amer. J. Math. 43 163-185.
129. G. Priest and R. Sylvan (1992) Simplified semantics for basic relevant logics. J. Philosophical Logic 21 217-232.
130. A.P. Pynko (1999) Functional completeness and axiomatizability within Belnap's fourvalued logic and its expansions. J. Applied Non-Classical Logics 9 61-106.
131. P.T. Raju (1954) The principle of four-cornered negation in Indian philosophy. Review of Metaphysics 7 694-713.
132. H. Rasiowa (1973) On generalised Post algebras of order ω+ and ω+-valued predicate calculi. Bull. Acad. Polon. Sci., Sér. Sci. Math., Astronom., Phys. 21 209-219.
133. N. Rescher (1969) Many-Valued Logic. New York: McGraw-Hill
134. G. Restall (1995) Four-valued semantics for relevant logics (and some of their rivals). J. Philosophical Logic 24 139-160.
135. E. Richter (2002) Nonmonotonic inference operators for fuzzy logic. S. Benferhat, E. Giunchiglia (Eds) Proc. 9th Internat.Workshop on Nonmonotonic Reasoning, NMR'2002, Toulouse, France Toulouse 321-329.
136. E. Richter (2003) Nonmonotonic Fuzzy Inference. Ph.D. Thesis Leipzig University
137. D.C. Rine (Eds) (1977) Computer Science and Multiple Valued Logic Amsterdam: North-Holland Publ. Comp.
138. P.C. Rosenbloom (1942) Post algebras. I. Postulates and general theory. American J. Mathematics 64 167-188.
139. J.B. Rosser and A.R. Turquette (1952) Many-Valued Logics. Amsterdam: North- Holland Publ. Comp.
140. K. Segerberg (1965) A contribution to nonsense-logics. Theoria 31 199-217.
141. V.I. Šestakov (1964) O vzaimootnošenii nekotorych trechznačnych logikach isčislenij. Uspechi Matematičeskich Nauk 19 177-181.
142. A.M. Sette (1973) On the propositional calculus P1. Mathematica Japonica 18 173-180.
143. A.M. Sette and W.A. Carnielli (1995) Maximal weakly-intuitionistic logics. Studia Logica 55 181-203.
144. J. Slupecki (1936) Der volle dreiwertige Aussagenkalkül. C. R. Séances Soc. Sci. et Lettr. Varsovie 29 9-11. cl. III
145. G. Takeuti and S. Titani (1984) Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J. Symbolic Logic 49 851-866.
146. G. Takeuti and S. Titani (1992) Fuzzy logic and fuzzy set theory. Archive Math. Logic 32 1-32.
147. A. Tarski (1930) Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. Monatshefte Mathematik Physik 37 361-404.
148. T. Traczyk (1967) On Post algebras with uncountable chain of constants. Algebras and homomorphisms. Bull. Acad. Polon. Sci., Sér. Sci. Math., Astronom., Phys. 15 673-680.
149. A.R. Turquette (1967) Peirce's Phi and Psi operators for triadic logic. Trans. Charles Sanders Peirce Society 3 66-73.
150. E. Turunen (1995) Well-defined fuzzy sentential logic. Math. Logic Quarterly 41 236-248.
151. A. Visser (1984) Four-valued semantics and the Liar. J. Philosophical Logic 13 181-217.
152. M. Wajsberg (1977) Axiomatization of the three-valued propositional calculus. S.S. Surma (Eds) M. Wajsberg: Logical Works 12-29. Ossolineum, Wroclaw
153. R. Wójcicki (1988) Theory of Logical Calculi: Basic Theory of Consequence Operations. Dordrecht: Kluwer Acad. Publ.
154. L.A. Zadeh (1965) Fuzzy sets. Information and Control 8 338-353.