Results for 'Fuzzy logic'

1000+ found
Order:
See also
  1. Deviant Logic, Fuzzy Logic: Beyond the Formalism.Susan Haack - 1974 - Chicago and London: University of Chicago Press.
    Initially proposed as rivals of classical logic, alternative logics have become increasingly important in areas such as computer science and artificial intelligence. Fuzzy logic, in particular, has motivated major technological developments in recent years. Susan Haack's Deviant Logic provided the first extended examination of the philosophical consequences of alternative logics. In this new volume, Haack includes the complete text of Deviant Logic , as well as five additional papers that expand and update it. Two of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  2. Fuzzy Logic and Approximate Reasoning.L. A. Zadeh - 1975 - Synthese 30 (3-4):407-428.
    The term fuzzy logic is used in this paper to describe an imprecise logical system, FL, in which the truth-values are fuzzy subsets of the unit interval with linguistic labels such as true, false, not true, very true, quite true, not very true and not very false, etc. The truth-value set, , of FL is assumed to be generated by a context-free grammar, with a semantic rule providing a means of computing the meaning of each linguistic truth-value (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   94 citations  
  3.  60
    Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
    Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0.1]. In this paper, we introduce Uninorm logic UL as Multiplicative additive intuitionistic linear logic MAILL extended with the prelinearity axiom ((A → B) ∧ t) ∨ ((B → A) ∧ t). Axiomatic extensions of UL include known fuzzy logics such as Monoidal t-norm logic MTL and Gödel logic G, and new weakening-free logics. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  4. Fuzzy Logic.J. F. Baldwin - 1996
     
    Export citation  
     
    Bookmark  
  5.  25
    Residuated Fuzzy Logics with an Involutive Negation.Francesc Esteva, Lluís Godo, Petr Hájek & Mirko Navara - 2000 - Archive for Mathematical Logic 39 (2):103-124.
    Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant $\overline{0}$ , namely $\neg \varphi$ is $\varphi \to \overline{0}$. However, this negation behaves quite differently depending on the t-norm. For a nilpotent t-norm (a t-norm which is isomorphic to Łukasiewicz t-norm), it turns out that $\neg$ is an involutive (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  6. Fuzzy Logic and Higher-Order Vagueness.Nicholas J. J. Smith - 2011 - In Petr Cintula, Christian G. Fermüller, Lluis Godo & Petr Hájek (eds.), Understanding Vagueness: Logical, Philosophical and Linguistic Perspectives. College Publications. pp. 1--19.
    The major reason given in the philosophical literature for dissatisfaction with theories of vagueness based on fuzzy logic is that such theories give rise to a problem of higherorder vagueness or artificial precision. In this paper I first outline the problem and survey suggested solutions: fuzzy epistemicism; measuring truth on an ordinal scale; logic as modelling; fuzzy metalanguages; blurry sets; and fuzzy plurivaluationism. I then argue that in order to decide upon a solution, we (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Fuzzy Logics in Theories of Vagueness.Nicholas J. J. Smith - 2015 - In Petr Cintula, Christian Fermüller & Carles Noguera (eds.), Handbook of Mathematical Fuzzy Logic - Volume 3. College Publications.
  8.  44
    Mathematical Fuzzy Logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
    The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them. It concentrates on the propositional cases, and mentions the first-order systems more superficially. The main ideas, however, become clear already in this restricted setting.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  44
    Fuzzy Logic and Arithmetical Hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.
    Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies and satisfiable sentences as well of sets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  10.  92
    Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory.Gaisi Takeuti & Satoko Titani - 1984 - Journal of Symbolic Logic 49 (3):851-866.
  11.  78
    Fuzzy Logics Based on [0,1)-Continuous Uninorms.Dov Gabbay & George Metcalfe - 2007 - Archive for Mathematical Logic 46 (5-6):425-449.
    Axiomatizations are presented for fuzzy logics characterized by uninorms continuous on the half-open real unit interval [0,1), generalizing the continuous t-norm based approach of Hájek. Basic uninorm logic BUL is defined and completeness is established with respect to algebras with lattice reduct [0,1] whose monoid operations are uninorms continuous on [0,1). Several extensions of BUL are also introduced. In particular, Cross ratio logic CRL, is shown to be complete with respect to one special uninorm. A Gentzen-style hypersequent (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  63
    Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
    This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative logics. This class is broad enough to contain many “usual” logics, yet easily manageable with nice logical properties. Then we introduce its subclass–the class of weakly implicative fuzzy logics. It contains the majority of logics studied in the literature under the name fuzzy logic. We present many (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  13.  36
    On Fuzzy Logic I Many-Valued Rules of Inference.Jan Pavelka - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (3-6):45-52.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  14.  32
    On Fuzzy Logic I Many‐Valued Rules of Inference.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (3‐6):45-52.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  15.  44
    Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
    Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  16.  31
    Δ-Core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.Franco Montagna - 2012 - Studia Logica 100 (1-2):289-317.
    In this paper we investigate the connections between quantifier elimination, decidability and Uniform Craig Interpolation in Δ-core fuzzy logics added with propositional quantifiers. As a consequence, we are able to prove that several propositional fuzzy logics have a conservative extension which is a Δ-core fuzzy logic and has Uniform Craig Interpolation.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  26
    Fuzzy Logic and Nursing.Eun-Ok Im & Wonshik Chee - 2003 - Nursing Philosophy 4 (1):53-60.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  30
    On Fuzzy Logic III. Semantical Completeness of Some Many‐Valued Propositional Calculi.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (25‐29):447-464.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  19.  29
    On Fuzzy Logic III. Semantical Completeness of Some Many-Valued Propositional Calculi.Jan Pavelka - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):447-464.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  20.  28
    Fuzzy Logic and Applications: 5th International Workshop, Wilf 2003, Naples, Italy, October 9-11, 2003: Revised Selected Papers. [REVIEW]V. Di Gesù, F. Masulli & Alfredo Petrosino (eds.) - 2006 - Springer.
    This volume constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Fuzzy Logic and Applications held in Naples, Italy, in October 2003. The 40 revised full papers presented have gone through two rounds of reviewing and revision. All current issues of theoretical, experimental and applied fuzzy logic and related techniques are addressed with special attention to rough set theory, neural networks, genetic algorithms and soft computing. The papers are organized in topical section on (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  13
    Fuzzy Logic and Fuzzy Set Theory.Gaisi Takeuti & Satoko Titani - 1992 - Archive for Mathematical Logic 32 (1):1-32.
  22. Fuzzy Logic: Mathematical Tools for Approximate Reasoning.Giangiacomo Gerla - 2003 - Bulletin of Symbolic Logic 9 (4):510-511.
     
    Export citation  
     
    Bookmark   10 citations  
  23.  10
    Mathematics Behind Fuzzy Logic.Esko Turunen - 1999 - Physica-Verlag Heidelberg.
    Many results in fuzzy logic depend on the mathematical structure the truth value set obeys. In this textbook the algebraic foundations of many-valued and fuzzy reasoning are introduced. The book is self-contained, thus no previous knowledge in algebra or in logic is required. It contains 134 exercises with complete answers, and can therefore be used as teaching material at universities for both undergraduated and post-graduated courses. Chapter 1 starts from such basic concepts as order, lattice, equivalence (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  24.  1
    ‎Proof Theory for Fuzzy Logics.George Metcalfe, Nicola Olivetti & Dov M. Gabbay - 2008 - Dordrecht, Netherland: Springer.
    Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of "proof-theoretic" presentations of fuzzy logics; the result of more than (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  66
    Fuzzy Logic Programming and Fuzzy Control.Giangiacomo Gerla - 2005 - Studia Logica 79 (2):231-254.
    We show that it is possible to base fuzzy control on fuzzy logic programming. Indeed, we observe that the class of fuzzy Herbrand interpretations gives a semantics for fuzzy programs and we show that the fuzzy function associated with a fuzzy system of IF-THEN rules is the fuzzy Herbrand interpretation associated with a suitable fuzzy program.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  18
    Fuzzy Logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  27. Fuzzy Logic.Kazem Sadegh-Zadeh - 2nd ed. 2015 - In Handbook of Analytic Philosophy of Medicine. Springer Verlag.
    Medical knowledge as well as clinical practice are characterized by inescapable uncertainty. There are many reasons this is the case, but foremost among them is that almost everything in medicine is inevitably vague, be it something linguistic such as the term “illness”, or something extra-linguistic such as the condition referred to as illness. If we ask ourselves, then, what the term “illness” means exactly, on the one hand; and how we may precisely delimit the condition illness, on the other; we (...)
     
    Export citation  
     
    Bookmark  
  28.  3
    Using Fuzzy Logic: Towards Intelligent Systems.Jun Yan - 1994 - Prentice-Hall.
    A clear account of the principles of fuzzy logic-based design, from a computer/electronics engineering perspective. This pedagogical work incorporates current fuzzy logic techniques, emphasizing hardware/software design for fuzzy systems and fuzzy logic development tools.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  38
    Fuzzy Logic and Arithmetical Hierarchy, II.Petr Hájek - 1997 - Studia Logica 58 (1):129-141.
    A very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  30.  48
    Adaptive Fuzzy Logics for Contextual Hedge Interpretation.Stephan van der Waart van Gulik - 2009 - Journal of Logic, Language and Information 18 (3):333-356.
    The article presents several adaptive fuzzy hedge logics. These logics are designed to perform a specific kind of hedge detection. Given a premise set Γ that represents a series of communicated statements, the logics can check whether some predicate occurring in Γ may be interpreted as being (implicitly) hedged by technically, strictly speaking or loosely speaking, or simply non-hedged. The logics take into account both the logical constraints of the premise set as well as conceptual information concerning the meaning (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  23
    On Fuzzy Logic II. Enriched Residuated Lattices and Semantics of Propositional Calculi.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (7‐12):119-134.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  32. Analyzing Differentiable Fuzzy Logic Operators.Emile van Krieken, Erman Acar & Frank van Harmelen - 2022 - Artificial Intelligence 302:103602.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. An Introduction to Fuzzy Logic for Practical Applications.Kazuo Tanaka - 1996 - Springer.
    Fuzzy logic has become an important tool for a number of different applications ranging from the control of engineering systems to artificial intelligence. In this concise introduction, the author presents a succinct guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. The book culminates in a chapter which describes fuzzy logic control: the design of intelligent control systems using (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  76
    Some Notes Concerning Fuzzy Logics.Charles Grady Morgan & Francis Jeffry Pelletier - 1977 - Linguistics and Philosophy 1 (1):79 - 97.
    Fuzzy logics are systems of logic with infinitely many truth values. Such logics have been claimed to have an extremely wide range of applications in linguistics, computer technology, psychology, etc. In this note, we canvass the known results concerning infinitely many valued logics; make some suggestions for alterations of the known systems in order to accommodate what modern devotees of fuzzy logic claim to desire; and we prove some theorems to the effect that there can be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  35.  25
    On Fuzzy Logic II. Enriched Residuated Lattices and Semantics of Propositional Calculi.Jan Pavelka - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (7-12):119-134.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  36.  19
    Fuzzy Logic, Continuity and Effectiveness.Loredana Biacino & Giangiacomo Gerla - 2002 - Archive for Mathematical Logic 41 (7):643-667.
    It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbert style. Moreover, it is proven that any truth-functional semantics whose connectives are interpreted in [0,1] by continuous functions is axiomatizable by a fuzzy deduction system (but not by an effective fuzzy deduction system, in general).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  37.  33
    Fuzzy Logic and Keynes's Speculative Demand for Money.Sheila C. Dow & Dipak Ghosh - 2009 - Journal of Economic Methodology 16 (1):57-69.
    The purpose of the paper is to explore the potential for using fuzzy logic to analyse economic decision?making under Keynesian uncertainty, and in particular in circumstances where variety of opinion is important. Fuzzy logic is shown to apply where expectations may differ because the nature of the subject matter impedes any ?crisp? way of describing the underlying variables. The particular case of the speculative demand for money is considered, since it explicitly reflects variety of opinion as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. Fuzzy Logic and Mathematics: A Historical Perspective.Radim Belohlávek, Joseph W. Dauben & George J. Klir - 2017 - Oxford, England and New York, NY, USA: Oxford University Press.
    The term "fuzzy logic," as it is understood in this book, stands for all aspects of representing and manipulating knowledge based on the rejection of the most fundamental principle of classical logic---the principle of bivalence. According to this principle, each declarative sentence is required to be either true or false. In fuzzy logic, these classical truth values are not abandoned. However, additional, intermediate truth values between true and false are allowed, which are interpreted as degrees (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  38
    Mathematical Fuzzy Logic – What It Can Learn From Mostowski and Rasiowa.Petr Hájek - 2006 - Studia Logica 84 (1):51-62.
    Important works of Mostowski and Rasiowa dealing with many-valued logic are analyzed from the point of view of contemporary mathematical fuzzy logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  13
    The Fuzzy Logic of Chaos and Probabilistic Inference.I. Antoniou & Z. Suchanecki - 1997 - Foundations of Physics 27 (3):333-362.
    The logic of a physical system consists of the elementary observables of the system. We show that for chaotic systems the logic is not any more the classical Boolean lattice but a kind of fuzzy logic which we characterize for a class of chaotic maps. Among other interesting properties the fuzzy logic of chaos does not allow for infinite combinations of propositions. This fact reflects the instability of dynamics and it is shared also by (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  54
    The Fuzzy Logic of Socialised Attitudes in Liangshan Nuosu.Matthias Gerner - 2010 - Journal of Pragmatics 42 (11):3031-3046.
    Liangshan Nuosu (Tibeto-Burman: P.R. China) exhibits two cross-linguistically rare attitude particles which ascribe wishes and fears to an impersonal socialised agent serving as a speaker-hedge. Linguistic properties of these particles not covered by (Potts, 2007a) and (Potts, 2007b) features of expressive content are elaborated upon. It is proposed to analyse the Nuosu attitude operators as illocutionary force indicating devices (IFIDs, see Searle and Vanderveken, 1985) and the utterances which host them as speech acts of the expressive type. Success conditions for (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  5
    The Paradigm and the Fuzzy Logical Model of Perception Are Alive and Well.Dominic W. Massaro & Michael M. Cohen - 1993 - Journal of Experimental Psychology: General 122 (1):115-124.
  43. Adaptive Fuzzy Logics for Contextual Hedge Interpretation.Stephan der Waart van Gulivank - 2009 - Journal of Logic, Language and Information 18 (3).
    The article presents several adaptive fuzzy hedge logics . These logics are designed to perform a specific kind of hedge detection. Given a premise set Γ that represents a series of communicated statements, the logics can check whether some predicate occurring in Γ may be interpreted as being (implicitly) hedged by technically , strictly speaking or loosely speaking , or simply non-hedged. The logics take into account both the logical constraints of the premise set as well as conceptual information (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  10
    Formal Systems of Fuzzy Logic and Their Fragments.Petr Cintula, Petr Hájek & Rostislav Horčík - 2007 - Annals of Pure and Applied Logic 150 (1-3):40-65.
    Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  45.  26
    Fuzzy Logic and Strategic Management: An Application of Ragin’s Fuzzy-Set Methods.Özlem Öz - 2005 - Philosophy of Management 5 (1):55-66.
    The main purpose of this article is to bring Ragin’s recent methodological contributions, which build on ideas borrowed from fuzzy logic, to the attention of management scholars. To demonstrate the possible use of the techniques developed by Ragin in management research, three specific examples for their likely applications are presented: the replications of Porter’s diamond framework for Turkey, Greece and Canada. The article concludes that Ragin’s systematic techniques prove helpful in making explicit the process of comparing qualitative evidence (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  1
    Fuzzy Logic Systems-Based Optimization and Control of Complicated High-Pressure Fuel Line with Double Fuel Injectors and One Pressure Reducing Valve.Dunqian Cao, Xue Zhang, Haoran Xue & Conglin Xu - 2020 - Complexity 2020:1-11.
    High-pressure fuel line is a basic component of many modern industrial devices, and its pressure stability affects operating efficiency and safety. In this paper, the working mechanism of high-pressure fuel line with double fuel injectors and pressure reducing valve is studied as the main object, the differential equation for changes in pressure with time is established, and the rotating speed of high-pressure fuel pump cam, fuel injection time of fuel injector, and the threshold of pressure reducing valve are optimized using (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  6
    Two-layered fuzzy logic-based model for predicting court decisions in construction contract disputes.Navid Bagherian-Marandi, Mehdi Ravanshadnia & Mohammad-R. Akbarzadeh-T. - 2021 - Artificial Intelligence and Law 29 (4):453-484.
    The dynamic nature and increasing complexity of the construction industry have led to increased conflicts in construction projects. An accurate prediction of the outcome of a dispute resolution in courts could effectively reduce the number of disputes that would otherwise conclude by spending more money through litigation. This study aims to introduce a two-layered fuzzy logic model for predicting court decisions in construction contract disputes. 100 cases of construction contract disputes are selected from the courts of Iran. A (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  48.  44
    Birkhoff Variety Theorem and Fuzzy Logic.Radim Bělohlávek - 2003 - Archive for Mathematical Logic 42 (8):781-790.
    An algebra with fuzzy equality is a set with operations on it that is equipped with similarity ≈, i.e. a fuzzy equivalence relation, such that each operation f is compatible with ≈. Described verbally, compatibility says that each f yields similar results if applied to pairwise similar arguments. On the one hand, algebras with fuzzy equalities are structures for the equational fragment of fuzzy logic. On the other hand, they are the formal counterpart to the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  91
    The Liar Paradox and Fuzzy Logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (1):339-346.
    Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}(\bar{\varphi})$ for all sentences φ? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  50.  18
    On N -Contractive Fuzzy Logics.Rostislav Horčík, Carles Noguera & Milan Petrík - 2007 - Mathematical Logic Quarterly 53 (3):268-288.
    It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL-chains. In order to reach a deeper understanding of the structure of this class, we consider the extensions of MTL by adding the generalized contraction since each finite MTL-chain satisfies a form of this generalized contraction. Simultaneously, we also consider extensions of MTL by the generalized excluded middle laws introduced in [9] and the axiom of weak cancellation (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 1000