| [صفحه اصلي] | [رزومه كنترل پروژه] | [رزومه تاليف و ترجمه] | [تماس با نويسنده] | [معرفي نرم افزارها] | [معرفي منابع] | [معرفي سايتها] |
|
نسخه كامل پايان نامه فوق ليسانس من در رشته فلسفه علم: منطقهاي چند ارزشي و فازي و مقايسه آنها با منطق دو ارزشي كلاسيك (PDF به صورت RAR شده با حجم 1.69 مگابايت) منطقهاي چند ارزشي و فازي و مقايسه آنها با منطق دو ارزشي كلاسيك (PDF با حجم 1.86 مگابايت) توجه 1: بهتر است نسخه PDF را در مرورگر وب باز نكنيد، چون ممكن است به خاطر سنگين بودن فايل دچار مشكل شويد. توجه 2: اين نسخهها به خاطر كاهش ظرفيت با كيفيتي پايينتر از نسخه اصلي ذخيره شدهاند.
اين پايان نامه يك CD همراه نيز دارد كه مجموعه مقالههاي استفاده شده در آن است. حجم اين مقالهها بيشتر از آن است كه بتوانم تمامشان را در سايت قرار دهم. ليست آنها در ادامه ميآيد، اگر مايل باشيد ميتوانيد با من تماس بگيريد تا CD را براي شما بفرستم.
|
| A Bilattice-Based Approach to Recover Consistent Data from Inconsistent Knowledge-Bases | Arieli, Avron | ||
| A Brief Survey of 20th Century Logical Notations | Roegel | ||
| A Complete Axiomatization of the Three-Valued Logic | Stark | ||
| A Complete many-Valued Logic With Product Conjuction | Hajek, Godo, Esteva | ||
| A Complete Theorem for Kleene Algebras and the Algebra of Regular Events | Kozen | ||
| A Data Model and Algebra for Propabilistic Complex Values | Eiter, Lukasiewicz, Walter | ||
| A Duality Theoy for Bilattice | Mobasher, Pigozzi, Slutzki, Voutsadakis | ||
| A Formalization of Viewpoints | Attradi, Simi | ||
| A Four-Valued Approach for Handling Inconsistency in Priorized Knowledge-Bases | Arieli | ||
| A Four-Valued Fuzzy Propositional Logic | Straccia | ||
| A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints | Easterbrook, Chechik | ||
| A Knowledge Representation Based on Belnap's Four-Valued Logic | Kaluzhny | ||
| A Logic for Perception and Belief | Shoham | ||
| A Logic for Reasoning about Fuzzy Truth Values | Liau | ||
| A Logic for Reasoning with Inconsistency | Kifer, Lozinskii | ||
| A Lukasiewicz Based Prolog | Klawonn, Kruse | ||
| A Mechanization of Strong Kleene's Logic For Partial Function | Kerber, Kohlhase | ||
| A Metagrammaticsl Logical Formalism | Manca | ||
| A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge-Bases | Arieli, Av | ||
| A New Continuous Propositional Logic | Poli, Ryan, Sloman | ||
| A New Resolution Calculus for the Infinit-Valued Propositional Logic of Lukasiewicz | Wagner | ||
| A Note on Fuzzy Predicate Logic | Hajek | ||
| A Note on Lukasiewicz's Three-Valued Logic | Minary | ||
| A Note on Satisfying Truth-Value Assignments of Boolean Formulas | Stachnisk | ||
| A Note on the Notation of Truth in Fuzzy Logic | Hajek, Shepherdson | ||
| A Note on the Notion of Truth in Fuzzy Logic | Hajek, Shepherdson | ||
| A Paraconsistent Higher Order Logic | Villadsen | ||
| A Paraconsistent Logic with 4 Values -- true, false, divergent and meaningless | Bergstra, Bethke, Roden | ||
| A Paraconsistent Semantics with Contradiction Support Detection | Damasio, Pereira | ||
| A Propositional Logic With Four Values | Bergstra, Bethke, Rodenburg | ||
| A Result of Extending Bochvar's 3-Valued Logic | Collier | ||
| A Semantic for Fuzzy Logic | Paris | ||
| A Sequent Calculus for Reasoning in Four-Valued Description Logics | Straccia | ||
| A Survey on Different Triangular norm-Based Fuzzy Logics | Klement | ||
| A Theory of Truth that Prefers Falsehood | Fitting | ||
| A Three-Valued Framework for the Induction of General Logic Programs | Martin, Vrain | ||
| A Three-Valued Linear Temporal Logic for Reasoning about Concurrency | Konikowska | ||
| A Translation Method for Belnap Logic | Rodrigues, Russo | ||
| A Uniform Approch to Logic Programming Semantics | Hitzler, Wendt | ||
| Addendum to the paper 'Belnap's Four-Valued Logic and De Morgan Lattices' | Font | ||
| Against Truth-Value Gaps | Glanzburg | ||
| Algebraic Semantics for Knowledge-Based Logic Programs | Mobasher, Pigozzi, Slutzki | ||
| An Algorithmic Approach to Recover Inconsistent Knowledge-Bases | Arieli | ||
| An Approach to Belief in Strong Kleene's Logic | Nunez, Alvarado | ||
| An Elemenraty Resolution of the Liar Paradox | |||
| An Emprical Study of the 3-Valued Kripke-Kleene Semantics in Random Propositional Logic Programs | Giann | ||
| An Overview of Possible Applications of MVL in Modelling Concurrency | Konikowska | ||
| Annotated Revision Specification Programs | Fitting | ||
| Anti-Links for Boolean Function Manipulation | Beckert, Hahnle, Murray, Ramesh | ||
| Aspects of Paraconsistent Logic | Costa, Beziau, Bueno | ||
| Assertion, Denial, Accepting, Rejecting, Symmetry, Paradox and all that | Restall | ||
| Automated Theorem Proving in Multiple Valued Logics | Hahnle | ||
| Basic Fuzzy Logic and BL Algebra | Hajek | ||
| Belnap's Epistemic States and Negation-as-Failure | Wagner | ||
| Bilattice and Modal Operators | Ginsberg | ||
| Bilattice and Paraconsistency | Arieli, Avron | ||
| Bilattice and Semantics of Logic Programming | Fitting | ||
| Bilattice and the Semantics of Logic Programming | Fitting | ||
| Bilattices in Logic Programming | Fitting | ||
| Bochvar-McCarthy Logic and Process Algebra | Bergstra, Ponse | ||
| Calculi for the Godel Logic | Ultlog | ||
| Capita Selecta in Natural Language Semantics | Eijck | ||
| Carnap's Tolerance, Language Change and Logical Pluralism | Restall | ||
| Causes and Explanations in the Structural-Model Approach -- Tractable Cases | Eiter, Lukasiewicz | ||
| Circumscriptive Approaches to Paraconsistent Logic | Arieli, Denecker | ||
| Classical Negation can be Expressed by One of its Halves | Beziau | ||
| Comparision of Logic Operators for use in Multiple-Valued Sum-of-Products Expressions | Hozmui, Kakusho, | ||
| Complete Sets of Connectives and Complete Sequent Calculus for Belnap's Logic | Ruet | ||
| Completeness of Propositional Logic as a Program | Stansifer | ||
| Complexity of t-Tautologies | Baaz, Hajek, Montaga, Veith | ||
| Computing and Comparing Semantics of Programs in Four-Valued Logics | Loyer, Spyratos, Stamate | ||
| Concrete Transitions | Belnap | ||
| Conjuctions of Many-Valued Criteria | Bartusek, Navara | ||
| Conjunction and Contradiction | Varzi | ||
| Consistent Blief Reasoning in the Presence of Inconsistency | Lin | ||
| Contextual Solutions to the Semantic Paradoxes | Gauker | ||
| Costing Non-Classical Solutions to the Paradoxes of Self-Reference | Restall | ||
| Current Approaches to Handling Imperfect Information in data and Knowledge-Bases | Parsons | ||
| Database Relations with Null Values | Zaniolo | ||
| Deduction in Many-Valued Logics -- A Survey | Hahnle | ||
| Deductive Systems of Fuzzy Logic (a tutorial) | Hajek, Godo | ||
| Deductive Systems of Fuzzy Logic | Hajek, Godo | ||
| Deductive Systems of Fuzzy Logic -- A Tutorial | Hajek, Godo | ||
| Default Reasoning from Conditional Knowledge Bases -- Complexity and Tractable Cases | Eiter, Lukasiewic | ||
| Design of Many-Valued Logical Circuits | Petrik | ||
| Do We Need Paraconsistency in Commonsence Reasoning | Mehesus | ||
| Double Time Reference -- Speech-act Reports as Modalities in an Indeterminist Setting | Belnap | ||
| Double-Negation Elimination in Some Propositional Logics | Beeson, Veroff | ||
| Efficient Deduction in Many-Valued Logics | Hahnle | ||
| Efficient Evaluation of Fuzzy Deduction | Jezek, Zima | ||
| Embedding Logics into Product Logic | Baaz, Hajek, Krajicek, Svejda | ||
| Evolutionary Software Engineering -- A Component-Based Approach | Klint, Verhoef | ||
| Evolving Self-Reference -- Matter, Symbols and Semantic Closure | Pattee | ||
| Expressing Negation | Ladusaw | ||
| Extended Well-Founded Semantics for Paraconsistent Logic Programs | Sakama | ||
| Finiteness in Infinite-Valued Lukasiewicz Logic | Aguzzoli, Ciabattoni | ||
| Formal Theories in Fuzzy Logic | Noval | ||
| Formalizing Complex Reasoning | Traverso | ||
| Four-Valued Knowledge Augmentation for Representating Structured Documents | Lalmas, Roelleke | ||
| Four-Valued Logics for Reasoning with Uncertainty in Prioritized Data | Arieli | ||
| Four-Valued Semantics for Relevent Logics and some of their Rivals | Restall | ||
| Free Assumptions and the Liar Paradox | Greenough | ||
| Future Contingents, Non-Contradictions and the Law of Excluded Middle | Bourne | ||
| Fuzziness and Sorities Paradox | Vasconez | ||
| Fuzziness and the Sorites Paradox -- From Degrees to Contradiction | Vasconez (Ph.D. Thesis) | ||
| Fuzzy Control Revised -- Why is it Working | Weisbrod | ||
| Fuzzy Logic -- Misconceptions and Clarifications | Entemann | ||
| Fuzzy Logic and Probability | Hajek, Godo, Esteva | ||
| Fuzzy Logic Based Hardware -- Some Experiences | Patki | ||
| Fuzzy Propositional Logic | Turunen | ||
| Fuzzy Relevant Logic -- What is it and Why Study it | Cheng | ||
| Fuzzy Versions of Epistemic and Deontic Logic | Gounder, Esterline | ||
| Games in Philosophical Logic | Pietarinen, Sandu | ||
| General Pattern for Nonmonotonic Reasonin -- From Basic Entailment to Plausible Relations | Arieli, Avro | ||
| Generating Counterexamples for Multi-Valued Model-Checking | Gurfinkel, CHechik | ||
| Godel Logics -- Foundation and Application in Computer Science | Zach | ||
| Haack on Fuzzy Logic | Grunfeld | ||
| Higher Order Vagueness | Varzi | ||
| How to Build your own Paraconsistent Logic -- an Introduction to the Logics of Formal (In)Consistency | |||
| How to Infer from Inconsistent Beliefs without Revising | Benferhat, Dubois, Prade | ||
| Hypothesis in Kleene Algebra | Cohen | ||
| In Defence of Truth-Value | |||
| Incompleteness of First-Order Godel Logic and Some Temporal Logics of Programs | Baaz, Leitsch, Zach | ||
| Inconsistency Without Contradiction | Varzi | ||
| Infinit-Valued Logic Based on Two-Valued Logic and Probability | Hisdal | ||
| Informal Logic | Groarke | ||
| Insignificant Differences -- The Paradox of the Heap | Bronner | ||
| Integration of Information in Four-Valued Logics under Non-Uniform Assumptions | Loyer, Spyrators, Stama | ||
| Interaction, Self-Reference and Contingency in Computational Neuroscience | Porr, Worgotter | ||
| Interpretation into Lukasiewicz Algebras | Lewin | ||
| Is the Success of Fuzzy Logic Really Paradoxical | Nguyen, Kosheleva, Kreinovich | ||
| Kleene Algebra with Tests -- Completeness and Decidability | Kozen, Simth | ||
| Kleene'e Three-Valued Logic and Process Algebra | Bergstra, Ponse | ||
| Kleene's Logic, Generalized | Fitting | ||
| Kleene's Three Valued Logic and their Children | Fitting | ||
| Knowledge, Vagueness and Logic | Skardowska | ||
| Learning fom Paradox | Eijack | ||
| Lesniewski's Early Liar, Tarski and Natural Language | Betti | ||
| Liar Paradox | Dowden | ||
| Liar Paradox and Fuzzy Logic | Hajek, Paris, Shepherdson | ||
| Liar Paradox in a Logic With an Unbound Number of Truth Values | Mehta | ||
| Limits for Paraconsistent Calculi | Carnielli, Marcos | ||
| Local Possibilistic Logic | Boldrin, Sossal | ||
| Logic and determinism in Jan Lukasiewicz?s philosophy | Becchi | ||
| Logical Bilattices and Inconsistent Data | Arieli, Avron | ||
| Logical Pluralism | Beall, Restall | ||
| Logics of Probabilistic Reasoning and Imperfect Agents | Mortazavi | ||
| Lukasiewicz and Lesniewski on Contradiction | Betti | ||
| Lukasiewicz and Modal Logic | Font, Hajek | ||
| Lukasiewicz Problems -- Experiments Using Program Analysis and Transformation | Waal | ||
| Lukasiewicz, Supervaluations, and the Future | Restall | ||
| MacCol and MVL, an Exclusive Conjuction | Simons | ||
| Many-Valued Disjunctive Logic Programs With Probabilistic Semantics | Lukasiewicz | ||
| Many-Valued First-Order Logics with Probabilistic Semantics | Lukasiewicz | ||
| Many-Valued Logic in HOL | Polak | ||
| Many-Valued Logics | Gottwald | ||
| Many-valued Logics of Continuous t-norms | Gerla | ||
| Many-Valued Modal Logics | Fitting | ||
| Many-Valued Modal Logics II | Fitting | ||
| Many-Valued Truth Functions, Cerny's Cunjecture and Road Coloring | Mateescu, Salomaa | ||
| Many-Values Vagueness | Bonevac | ||
| Mathematical Fuzzy Logic -- State of Art | Hajek | ||
| Metric Methods -- Three Examples and a Method | Fitting | ||
| Minimalism and Paradoxes | Glanzberg | ||
| Modal Kleene Algebra and Applications -- A Survey | Desharnais, Moller, Struth | ||
| Modality and Databases | Fitting | ||
| Modeling Paraconsistent Reasoning by Classical Logic | Arieli, Denecker | ||
| Monadic Fuzzy Predicate Logics | Hajek | ||
| Multi-Valued Logic Programming Semantics -- An Algebraic Approach | Mobasher, Pigozzi, Slutzki | ||
| Multiple-Valued Logics for Reasoning with Uncertainty | Arieli (thesis) | ||
| Mutiple-Valued Logic | Schmitt, Mundici, Zadeh | ||
| Natural Deduction for Non-Classical Logics | Basin, Matthews, Vigano | ||
| Natural Three-Valued Logic -- Characterization and Proof Theory | Avron | ||
| Negation and Contradiction | Gabbay, Hunter | ||
| Negation as Partial Failure | Mobasher, Leszczylowski, Slutzki | ||
| Negation as Refutation | Fitting | ||
| Non Truth Functional Many-Valuedness | Beziau | ||
| None-Monotonic Logics | Antonelli | ||
| On a Family of Paradoxes | Prior | ||
| On a Natural Fuzzification of Boolean Logic | Bisdorff | ||
| On Expressive Power of Three-Valued and Four-Valued Languages | Avron | ||
| On Knowledge, Strings and Paradoxes | Kerber | ||
| On Logics Without Contradiction | Restall | ||
| On Lukasiewicz Four-Valued Logic | Font, Hajek | ||
| On Partial and Paraconsistent Logics | Muskens | ||
| On Playing 'Twenty Questions' with a Liar | Dhagat, Gacs | ||
| On Revision Operators | Welch | ||
| On Russellian Propositions | Hirata | ||
| On the Complexity of Entailment in Propositional Mulivalued Logics | Cadoli, Schaerf | ||
| On the Dynamics of Second-Order Vagueness | Barker | ||
| On the Expressive Power of Three-Valued and Four-Valued Languages | Avron | ||
| On the First Degree Entailment of Two 3-Valued Logics | Muravitsky | ||
| On the Principle of Uniform Solution | Priest | ||
| On the Relation between Fuzzy Logic and Four-Valued Relevance Logic | Straccia | ||
| On Triangular Norm-Based Propositional Fuzzy Logics | Butnariu | ||
| On Very True | Hajek | ||
| Ontological Encapsulation of Many-Valued Logic | Majkic | ||
| Paraconsistent Approaches to Fuzziness and the Sorties Paradox | Vasconez | ||
| Paraconsistent Approuches to Fuzziness and the Sorites Paradox | Vasconez | ||
| Paraconsistent Knowledge Bases and Many-Valued Logics | Villadsen | ||
| Paraconsistent Logics | Hunter | ||
| Paraconsistent Logics | Priest, Tanaka | ||
| Paraconsistent Logics and Paraconsistency -- Technical and Philosophical Developments | Costa, Krause, B | ||
| Paradox and Lies | |||
| Paradoxes of Fuzzy Logic, Revised | Elkan | ||
| Partial Logics with two Kinds of Negation as a Foundation for Knowledge-Based Reasoning | Herre, Jaspars | ||
| Perlis on Strong and Weak Self-Reference -- A Mirror Reversal | Bojadziev | ||
| Philosophical Issues in Computer Science | Kopperman, Matthews, Pajoohesh | ||
| Philosophical Problems of MVL | Zinoniev | ||
| Philosophical Remarks on Three-Valued Logic | Bigaj | ||
| Possibilistic Logic | Dubois, Lang, Prade | ||
| Probabilistic and Truth-Functional Many-Valued Logic Programming | Lukasiewicz | ||
| Probabilistic Logic Programming | Lukasiewicz | ||
| Probabilistic Logic Programming With Conditional Constraints | Lukasiewicz | ||
| Process Algebra with Five-Valued Conditions | Bergstra, Ponse | ||
| Prolog Extentions to Many-Valued Logics | Klawonn | ||
| Proof Theory of Finite-valued Logics | Zach | ||
| Propositional Fuzzy Logic Based on Frank t-norms -- A Comparition | Kelement | ||
| Putnam on Quantum Theory and Three-Valued Logic | Norris | ||
| Reasoning with Contradictory Information using Quasi-Classical Logic | Hunter | ||
| Reasoning with Different Levels of Uncertainty | Arieli | ||
| Reasoning with Logical Bilattices | Arieli, Avron | ||
| Reasoning without Believing -- On the Mechanization of Presuppositions and Partiality | Kerber, Kohlhase | ||
| Reconciling Austinian and Russellian Accounts of the Liar Paradox | King | ||
| Reducing t-norms and Augmenting t-conorms | Detyniecki, Yager, Meunier | ||
| Reference and Paradox | Hill | ||
| Relevence Logic | Mares | ||
| Remarks on the Aplications of Paraconsistent Logic to Physics | Costa, Krause | ||
| Resources for Many-Valued Logic | Hahnle | ||
| Retrieval of Complex Objects Using a Four-Valued Logic | Rolleke, Fuhr | ||
| Review of Many-Valued Logics | Hajek, Zach | ||
| Saving the Truth Schema from Paradox | Field | ||
| Sel-Referencing Languages Revised | Redey, Neumaan | ||
| Self-Reference and Logic | Bolander | ||
| Self-Reference and Validity Revisited | Read | ||
| Self-Reference is an Illustrative Essential | Astrachan | ||
| Semantic Minimization of Three-Valued Propositional Formulae | Reps, Loginov, Sagiv | ||
| Sentential Falsehood Logic FL4 | Pavlov | ||
| Simplification of Many-Valued Logic Formulas Using Anti-Links | Beckert, Hahnle | ||
| Some Results on Paraconsistent Logic | Hunter | ||
| Some Syntatic Approuches to the Handling of Inconsistent Knowledge-Bases -- A Comparative Study | Benfer | ||
| Some Varieties of Superparadox | Ormell | ||
| Sorites Paradox | Hyde | ||
| Specifying t-norms based on the Value of T(0.5,0.5) | Detyniecki | ||
| Structures with Many-Valued Information and their Relational Proof Theory | Duntsch | ||
| Supervaluation and Paraconsistency | Varzi | ||
| Supervaluation Fixed-Point Logics of Truth | Kremer, Urquhart | ||
| Supervaluationism | |||
| Survey of Theory and Applications of Lukasiewicz-Pavelka Fuzzy Logic | Tutunen | ||
| t-norm Based Many-Valued Logics | Gottwald | ||
| t-norm Based Many-Valued Logics and their Algebraic Semanics | Gottwald | ||
| t-norm Vs. Implication Functions as Implication Operators in Fuzzy Control | Cordon, Herrera, Peregrin | ||
| Tableaus for Logic Programming | Fitting | ||
| Tableaus for Many-Valued Modal Logic | Fitting | ||
| Tableaus for MV Modal Logic | Fitting | ||
| Temporal Logic | |||
| Ten Questions and One Problem on Fuzzy Logic | Hajek | ||
| The Awe and Mystery of t-norm | Navrati, Ramaswamy | ||
| The Berry Paradox | Chaitin | ||
| The Best Question | Varzi | ||
| The Dynamics of Vagueness | Barker | ||
| The Family of Stable Models | Fitting | ||
| The Future of Paraconsistant Logics | Beziau | ||
| The Geometry of Negation | Varzi, Warglin | ||
| The Incomplete Story of Lukasiewicz and Bivalence | Betti | ||
| The Liar and Related Paradoxes | Vezerides, Kehagias | ||
| The Liar Lies and Snow is White | Beck | ||
| The Liar Paradox, an Informal Introduction | Eklund | ||
| The Logic and Mathematics of Opposition | Asenjo | ||
| The Logical Role of the Four-Valued Bilattice | Arieli, Avron | ||
| The Metaphysics of Words | Sorensen | ||
| The Paradoxical Success of Fuzzy Logic | Elkan | ||
| The Pinciple of Excluded Middle Then and Now | Andrews | ||
| The Principle of Uniform Solution of the Paradoxes of Self-Reference | Smith | ||
| The Problem with Solutions to the Frame Problem | Morgenstern | ||
| The Semantic Paradoxes and Paradoxes of Vaguness | Field | ||
| The Semantics of Negation | Harris | ||
| The Sorites Paradox -- General Survey | Horsten | ||
| The Surprise Examination or Unexpected Hanging Paradox | Chow | ||
| The Value of the Four Values | Arieli, Avron | ||
| Theories of Vaguness | Keefe | ||
| Theory and Application of Self-Reference -- Logic and Beyond | Perlis | ||
| Three-Valued Logics for Inconsistency Handling | Konieczny, Marquis | ||
| Thresholding Based Image Segmentation Aided by Kleene Algebra | Ishikawa, Kamiura, Hata | ||
| Time, Timeless Logic and Self-Referential Systems | Gunther | ||
| Topology and the Semantics of Logic Programs | Seda | ||
| Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics | Hahnle | ||
| Triadic Logic (Pierce Three-Valued System) | Lane | ||
| True, Truer, Truest | Weatherson | ||
| Truer Words | |||
| Truth-Makers | Mulligan | ||
| Truth-Values as Labels -- A General Recipe for Labelled Deduction | Sernadas, Vigano, Rasga | ||
| Tutorial -- Complexity of Many-Valued Logics | Hahnle | ||
| Two Types of Multiple Conclusion Systems | Avron | ||
| Two Versions of Liar Paradox | Wright | ||
| Uncertain and Dependence in Classical and Quantum Logic -- The Role of Triangular Norms | Navara, Pjak | ||
| Uncertain Reasoning in Concept Lattices | Lukasiewicz | ||
| Uncertainty, Probability and Non-Classical Logic | Weatherson | ||
| Understanding Vagueness | Felkins | ||
| Using Four Values for Computerized Reasoning | Arieli, Avron | ||
| Vagueness | Pelletier, Berkeley | ||
| Vagueness and Blurry Sets | Smith | ||
| Vagueness as Closeness | Smith | ||
| Vagueness by numbers -- no Worries | Smith | ||
| Vagueness, Logic and Ontology | Varzi | ||
| Vagueness, MVL, FL and Supervaluation | Eklund | ||
| Vaguness | Russell | ||
| Web Rules Need Two King of Negation | Wagner | ||
| Well-Founded Inference and 3-Valued Logics | Pearce | ||
| Well-Founded Semantics Generalized | Fitting | ||
| What Can't be Evaluated Can't be Evaluated_ and it can't be Supervalued Either | Fodor, Lepore | ||
| What Difference does it make -- Three Truth-Valued or Two Plus Gaps | Placek | ||
| What does it Mean to say that Logic is Formal | MacFarlane | ||
| What Does Paraconsistency do -- The Case of Belief Revision | Tanaka | ||
| Which Triangular Norms are Convenient for Fuzzy Controllers | Moser, Navara | ||
| Why Fuzzy Logic | Hajek |
| [صفحه اصلي] | [رزومه كنترل پروژه] | [رزومه تاليف و ترجمه] | [تماس با نويسنده] | [معرفي نرم افزارها] | [معرفي منابع] | [معرفي سايتها] |