Multi-Valued Logics
暂无分享,去创建一个
[1] Stephen Cole Kleene,et al. On notation for ordinal numbers , 1938, Journal of Symbolic Logic.
[2] Robert G. Wolf. A Survey of Many-Valued Logic (1966–1974) , 1977 .
[3] Mitio Takano,et al. An Interpolation Theorem in Many-Valued Logic , 1986, J. Symb. Log..
[4] P. Dangerfield. Logic , 1996, Aristotle and the Stoics.
[5] Osamu Morikawa. Some Modal Logics Based on a Three-Valued Logic , 1989, Notre Dame J. Formal Log..
[6] Neil V. Murray,et al. Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics , 1993, ISMIS.
[7] Melvin Fitting,et al. Many-valued modal logics II , 1992 .
[8] R. Wójcicki. Theory of Logical Calculi: Basic Theory of Consequence Operations , 1988 .
[9] Reiner Hähnle,et al. Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics , 1990, CSL.
[10] Matthias Baaz,et al. Approximating propositional calculi by finite-valued logics , 1994, Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94).
[11] Giovanni Panti. A Geometric Proof of the Completeness of the Lukasiewicz Calculus , 1995, J. Symb. Log..
[12] Matthew L. Ginsberg,et al. Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..
[13] Richard Zach,et al. Leonard Bolc and Piotr Borowik: Many-valued logics: 1. Theoretical foundations, Berlin: Springer, 1991 , 1994 .
[14] G. Rousseau. Sequents in many valued logic I , 1967 .
[15] R. Wójcicki,et al. Some remarks on the consequence operation in sentential logics , 1970 .
[16] Y. Kawano. On the Structure of Complete MV-Algebras , 1994 .
[17] Antoni Torrens Torrell. W-algebras which are Boolean products of members of SR[1] and CW-algebras , 1987, Stud Logica.
[18] Stephen Colin Jackson. Model theory of abelian groups , 1973 .
[19] Volker Weispfenning. Model Theory of Abelian l -Groups , 1989 .
[20] Ulrich Blau,et al. Die dreiwertige Logik der Sprache : ihre Syntax, Semantik und Anwendung in der Sprachanalyse , 1978 .
[21] Richard Zach,et al. Proof Theory of Finite-valued Logics , 1993 .
[22] R. P. Dilworth,et al. Residuated Lattices. , 1938, Proceedings of the National Academy of Sciences of the United States of America.
[23] Melvin Fitting,et al. Bilattices and the Semantics of Logic Programming , 1991, J. Log. Program..
[24] Klaus Keimel,et al. Groupes et anneaux réticulés , 1977 .
[25] G. Epstein. The lattice theory of Post algebras , 1960 .
[26] C. Chang,et al. A new proof of the completeness of the Łukasiewicz axioms , 1959 .
[27] Pascal Ostermann,et al. Many-Valued Modal Propositional Calculi , 1988, Math. Log. Q..
[28] S. C. Kleene. Review: Stanislaw Jaskowski, Recherches sur le Systeme de la Logique Intuitioniste , 1937 .
[29] Christian G. Fermüller,et al. Elimination of Cuts in First-order Finite-valued Logics , 1993, J. Inf. Process. Cybern..
[30] J. Łoś,et al. Remarks on sentential logics , 1958 .
[31] Bruno Scarpellini. Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz , 1962, J. Symb. Log..
[32] Melvin Fitting,et al. Many-valued modal logics , 1991, Fundam. Informaticae.
[33] Daniele Mundici,et al. Extending Addition in Elliott′s Local Semigroup , 1993 .
[34] J. Heijenoort. From Frege To Gödel , 1967 .
[35] Robert McNaughton,et al. A Theorem About Infinite-Valued Sentential Logic , 1951, J. Symb. Log..
[36] Anita Waselewska. A constructive proof of Craig's interpolation lemma for m-valued logic , 1979 .
[37] A. Mostowski. On a generalization of quantifiers , 1957 .
[38] Petr Hájek,et al. A complete many-valued logic with product-conjunction , 1996, Arch. Math. Log..
[39] Daniele Mundici. Ulam Games, Lukasiewicz Logic, and AF C*-Algebras , 1993, Fundam. Informaticae.
[40] Walter Alexandre Carnielli,et al. Systematization of finite many-valued logics through the method of tableaux , 1987, Journal of Symbolic Logic.
[41] R. R. Rockingham Gill,et al. The Craig-Lyndon Interpolation Theorem in 3-Valued Logic , 1970, J. Symb. Log..
[42] Jan Pavelka,et al. On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi , 1979, Math. Log. Q..
[43] John B. Shoven,et al. I , Edinburgh Medical and Surgical Journal.
[44] Zbigniew Stachniak,et al. Extending resolution to resolution logics , 1991, J. Exp. Theor. Artif. Intell..
[45] S. K. Thomason. Possible worlds and many truth values , 1978 .
[46] stanisław j. surma,et al. an algorithm for axiomatizing every finite logic**The paper was presented at the International Symposium on Multiple-Valued Logic, Morgantown, West Virginia, U.S.A., May, 1974. An abstract of this paper is published in [3]. , 1977 .
[47] Daniele Mundici,et al. A constructive proof of McNaughton's theorem in infinite-valued logic , 1994, Journal of Symbolic Logic (JSL).
[48] Andrzej Blikle,et al. Three-valued predicates for software specification and validation , 1988, Fundam. Informaticae.
[49] H. Rasiowa. An Algebraic Approach To Non Classical Logics , 1974 .
[50] Jean-Yves Béziau,et al. What is many-valued logic? , 1997, Proceedings 1997 27th International Symposium on Multiple- Valued Logic.
[51] Arnon Avron,et al. Natural 3-valued logics—characterization and proof theory , 1991, Journal of Symbolic Logic.
[52] Jan Pavelka,et al. A note on tensor products on the unit interval , 1976 .
[53] Hans Hermes,et al. Introduction to mathematical logic , 1973, Universitext.
[54] J. Paris. The Uncertain Reasoner's Companion: A Mathematical Perspective , 1994 .
[55] Jaskowski,et al. Polish Logic 1920-1939. , 1969 .
[56] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .
[57] D. Mundici. Interpretation of AF -algebras in ukasiewicz sentential calculus , 1986 .
[58] Reiner Hähnle,et al. Verification of Switch-Level Designs with Many-Valued Logic , 1993, LPAR.
[59] J. Davenport. Editor , 1960 .
[60] Petr Hájek,et al. Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations , 1994, J. Appl. Non Class. Logics.
[61] T. P. Speed. A note on Post algebras , 1971 .
[62] Zbigniew Stachniak,et al. Algebraic Sematics for Cumulative Inference Operations , 1993, AAAI.
[63] Atwell R. Turquette,et al. On the Many-Valued Logics , 1941 .
[64] Melvin Fitting,et al. Bilattices in logic programming , 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.
[65] Zbigniew Stachniak. Resolution proof systems - an algebraic theory , 1996, Automated reasoning series.
[66] Reiner Hähnle. Short Conjunctive Normal Forms in Finitely Valued Logics , 1994, J. Log. Comput..
[67] P. O'Hearn,et al. Resolution in the domain of strongly finite logics , 1990 .
[68] Moto-O. Takahashi. Many-Valued Logics of Extended Gentzen Style II , 1970, J. Symb. Log..
[69] J. M. Dunn,et al. Modern Uses of Multiple-Valued Logic , 1977 .
[70] Louise Schmir Hay,et al. Axiomatization of the infinite-valued predicate calculus , 1963, Journal of Symbolic Logic.
[71] P. Hájek. Fuzzy logic and arithmetical hierarchy , 1995 .
[72] Daniele Mundici,et al. Satisfiability in Many-Valued Sentential Logic is NP-Complete , 1987, Theor. Comput. Sci..
[73] Mitio Takano. Subformula Property in Many-Valued Modal Logics , 1994, J. Symb. Log..
[74] Jean-Baptiste Lully,et al. The collected works , 1996 .
[75] Peter K. Schotch,et al. A note on three-valued modal logic , 1978, Notre Dame J. Formal Log..
[76] Michael Dummett,et al. A propositional calculus with denumerable matrix , 1959, Journal of Symbolic Logic (JSL).
[77] Matthias Emil Ragaz. Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik , 1981 .
[78] Petr Hájek,et al. A many-valued modal logic , 1996 .
[79] C. Chang,et al. Algebraic analysis of many valued logics , 1958 .
[80] Jean-Paul Delahaye,et al. Programming in Three-valued Logic , 1991, Theor. Comput. Sci..
[81] Alexei Yu. Muravitsky,et al. A knowledge representation based on the Belnap's four-valued logic , 1995, J. Appl. Non Class. Logics.
[82] Reiner Hähnle,et al. Automated deduction in multiple-valued logics , 1993, International series of monographs on computer science.
[83] P. Dwinger. A Survey of the Theory of Post Algebras and Their Generalizations , 1977 .
[84] Christian G. Fermüller,et al. Resolution-Based Theorem Proving for Manyvalued Logics , 1995, J. Symb. Comput..
[85] Andrzej Wronski,et al. Remarks on a survey article on many valued logic by A. Urquhart , 1987, Stud Logica.
[86] A. R. Turquette,et al. Logic, Semantics, Metamathematics , 1957 .
[87] R Cignoli. Free lattice - ordered abelian groups and varieties of mv - algebras , 1993 .
[88] J. Rosser,et al. Fragments of many-valued statement calculi , 1958 .
[89] Alasdair Urquhart. Many-valued Logic , 1986 .
[90] Zbigniew Stachniak,et al. Nonmonotonic theories and their axiomatic varieties , 1995, J. Log. Lang. Inf..