Results for 'fuzzy logic'

1000+ found
Order:
  1. FUZZY LOGIC OF LUTFI ZADEH AND METHODOLOGICAL AND EPISTEMO-LOGICAL ANALYSIS OF SET THEORY.Aziz Mammadov & Fuad Gurbanov - 2022 - Science, Education and Innovations in the Context of Modern Problems 5 (4):100-110.
    Download  
     
    Export citation  
     
    Bookmark  
  2. Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
    Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Application of Fuzzy Logic in Design of an Aesthetics-Based Interactive Architectural Space.Mihai Nadin - 2018 - International Journal of Applied Research on Information Technology and Computing 9 (2):113-134.
    Download  
     
    Export citation  
     
    Bookmark  
  4. Integrated Design of Adaptive & Fuzzy Logic Control for Trajectory Tracking of 2 DOF Quadrotor.Mustefa Jibril - 2021 - ScienceOpen 7 (3):1-16.
    Accurate and precise trajectory tracking is crucial for a quadrotor to operate in disturbed environments. This paper presents a novel tracking hybrid controller for a quadrotor UAV that combines the Adaptive and Fuzzy logic controller. The Adaptive fuzzy controller is implemented to govern the behavior of two degrees of freedom quadrotor UAV. The proposed controller allows controlling the movement of UAVs to track a given trajectory in a 2D vertical plane. The Fuzzy Logic system provides (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Many-Valued And Fuzzy Logic Systems From The Viewpoint Of Classical Logic.Ekrem Sefa Gül - 2018 - Tasavvur - Tekirdag Theology Journal 4 (2):624 - 657.
    The thesis that the two-valued system of classical logic is insufficient to explanation the various intermediate situations in the entity, has led to the development of many-valued and fuzzy logic systems. These systems suggest that this limitation is incorrect. They oppose the law of excluded middle (tertium non datur) which is one of the basic principles of classical logic, and even principle of non-contradiction and argue that is not an obstacle for things both to exist and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Hypersequents and the proof theory of intuitionistic fuzzy logic.Matthias Baaz & Richard Zach - 2000 - In Clote Peter G. & Schwichtenberg Helmut (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Springer. pp. 187– 201.
    Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  7. New Tuning Approach of Fuzzy Logic System Using Proportional Integral Observer for Tracking a Nonlinear System.Mustefa Jibril - 2021 - ScienceOpen 7 (3):1-13.
    Proportional integral observer (PIO) for tracking a nonlinear method has a lower sentiency to cipher the state and output variables. So a more nonlinear controller has to be else to control to activity. In this paper, a fuzzy logic (FLC) controller has been added to the PIO to meliorate the calculation transmute. A fuzzy proportional integral observer (FPIO) for following a nonlinear system has been premeditated to decimate the susceptibleness to cipher the tell and turnout variables with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Syntactic characterizations of first-order structures in mathematical fuzzy logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera - forthcoming - Soft Computing.
    This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś–Tarski and the Chang–Łoś–Suszko preservation theorems follow.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Medical Diagnosis via Refined Neutrosophic Fuzzy Logic: Detection of Illness using Neutrosophic Sets.Florentin Smarandache, K. Hemabala & B. Srinivasa Kumar - 2023 - Journal of Advanced Zoology 44.
    The objective of the paper is to implement and validate diagnosis in the medical field via refined neutrosophic fuzzy logic (RNFL). As such, we have proposed a Max-Min composition (MMC) method in RNFL. This method deals with the diagnosis under certain constraints like uncertainty and indeterminacy. Further, we have considered the diagnosis problems to validate the sensitivity analysis of the novel multi attribute decision-making technique. Finally, we gave the graphical representations and compared the obtained results with other existing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Self-reference and Chaos in Fuzzy Logic.Patrick Grim - 1993 - IEEE Transactions on Fuzzy Systems 1:237-253.
    The purpose of this paper is to open for investigation a range of phenomena familiar from dynamical systems or chaos theory which appear in a simple fuzzy logic with the introduction of self-reference. Within that logic, self-referential sentences exhibit properties of fixed point attractors, fixed point repellers, and full chaos on the [0, 1] interval. Strange attractors and fractals appear in two dimensions in the graphing of pairs of mutually referential sentences and appear in three dimensions in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Concepts and Fuzzy Logic. (review article). [REVIEW]Mihai Nadin - 2012 - International Journal of General Systems 41 (8):860-867.
    Download  
     
    Export citation  
     
    Bookmark  
  12. Performance Investigation of AC Servomotor Position Control using Fuzzy Logic and Observer Based Controllers.Mustefa Jibril, Mesay Tadesse & Elias Alemayehu - 2021 - Report and Opinion Journal 13 (1):1-5.
    An AC servomotor which is mostly a two-phase induction motor with two stator field coils placed 90 electrical degrees apart used for controlling position, speed and acceleration in manufacturing industries. In this paper, a two-phase induction motor has been designed with a fuzzy logic and observer based controllers to improve the performance of the system. Comparison of the AC servomotor with the proposed controllers for tracking a step and a square desired position signal input has been done using (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Review of Susan Haack, Deviant Logic, Fuzzy Logic: Beyond the Formalism[REVIEW]Achille C. Varzi - 1998 - Philosophical Review 107 (3):468-471.
    Book information: Deviant Logic, Fuzzy Logic: Beyond The Formalism. By SUSAN HAACK. Chicago, Ill.: University of Chicago Press, 1996. Pp. xxvi, 291.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  14. Comparison of DC motor speed control performance using fuzzy logic and model predictive control method.Mustefa Jibril - 2020 - International Research Journal of Modernization in Engineering Technology and Science 2 (4):141-145.
    The main target of this paper is to control the speed of DC motor by comparing the actual and the desired speed set point. The DC motor is designed using Fuzzy logic and MPC controllers. The comparison is made between the proposed controllers for the control target speed of the DC motor using square and white noise desired input signals with the help of Matlab/Simulink software. It has been realized that the design based on the fuzzy (...) controller track the set pointwith the best steady state and transient system behavior than the design with MPC controller. Finally, the comparative simulation result prove the effectiveness of the DC motor with fuzzy logic controller. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  15. The logic of metabolism and its fuzzy consequences.A. Danchin - 2014 - Environmental Microbiology 16 (1):19-28.
    Intermediary metabolism molecules are orchestrated into logical pathways stemming from history (L-amino acids, D-sugars) and dynamic constraints (hydrolysis of pyrophosphate or amide groups is the driving force of anabolism). Beside essential metabolites, numerous variants derive from programmed or accidental changes. Broken down, variants enter standard pathways, producing further variants. Macromolecule modification alters enzyme reactions specificity. Metabolism conform thermodynamic laws, precluding strict accuracy. Hence, for each regular pathway, a wealth of variants inputs and produces metabolites that are similar to but not (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Fuzzy time”, a Solution of Unexpected Hanging Paradox (a Fuzzy interpretation of Quantum Mechanics).Farzad Didehvar - manuscript
    Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  17. Fuzzy and more. Implementing a logic calculator for comparing philosophical theories of vagueness using Structured Query Language. Part 1.Marian Călborean - manuscript
    I aim to develop a tool for comparing theories of vagueness, using Structured Query Language. Relevant SQL snippets will be used throughout.
    Download  
     
    Export citation  
     
    Bookmark  
  18. Fuzzy Networks for Modeling Shared Semantic Knowledge.Farshad Badie & Luis M. Augusto - 2023 - Journal of Artificial General Intelligence 14 (1):1-14.
    Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see fuzzy description (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Fuzzy time”, from paradox to paradox (Does it solve the contradiction between Quantum Mechanics & General Relativity?).Farzad Didehvar - manuscript
    Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Fuzziness and the sorites paradox.Marcelo Vasconez - 2006 - Dissertation, Catholic University of Louvain
    The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. On Fuzziness and Ordinary Reasoning.María G. Navarro - 2013 - Studies in Fuzziness and Soft Computing 216 (463):468.
    In 1685, in The Art of Discovery, Leibniz set down an extraordinary idea: "The only way to rectify our reasonings is to make them as tangible as those of the Mathematicians, so that we can find our error at a glance, and when there are disputes among persons, we can simply say: Let us calculate [calculemus], without further ado, to see who is right." Calculemus.
    Download  
     
    Export citation  
     
    Bookmark  
  22. About Fuzzy time-Particle interpretation of Quantum Mechanics (it is not an innocent one!) version one.Farzad Didehvar - manuscript
    The major point in [1] chapter 2 is the following claim: “Any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction.” So, in the case we wish to save Classical Logic we should change our Computational Model. As we see in chapter two, the mentioned contradiction is about and around the concept of time, as it is in the contradiction of modified version of paradox. It is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Comparisons of Fuzzy MRAS and PID Controllers for EMS Maglev Train.Mustefa Jibril & Tesfabirhan Shoga - 2020 - Report and Opinion Journal 12 (2):55-61.
    In this paper, a Magnetic Levitation (MAGLEV) train is designed with a single degree of freedom electromagnet-based system that allows the train to levitate vertically up and down. Fuzzy logic, PID and Mras controllers are used to improve the Magnetic Levitation train passenger comfort and road handling. A matlab Simulink model is used to compare the performance of the three controllers using step input signals. The stability of the Magnetic Levitation train is analyzed using root locus technique. Controller (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Hedges: A study in meaning criteria and the logic of fuzzy concepts. [REVIEW]George Lakoff - 1973 - Journal of Philosophical Logic 2 (4):458 - 508.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  25. 4. Contradictorial Gradualism Vs. Discontinuism: Two Views On Fuzziness And The Transition Problem.Marcelo VÁsconez - 2006 - Logique Et Analyse 49 (195).
    The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Design and Control of EMS Magnetic Levitation Train using Fuzzy MRAS and PID Controllers.Mustefa Jibril, Mesay Tadesse & Elias Alemayehu - 2020 - International Journal of Advance Research and Innovative Ideas in Education 6 (2):1023-1031.
    In this paper, a Magnetic Levitation (MAGLEV) train is designed with a first degree of freedom electromagnetbased totally system that permits to levitate vertically up and down. Fuzzy logic, PID and MRAS controllers are used to improve the Magnetic Levitation train passenger comfort and road handling. A Matlab Simulink model is used to compare the performance of the three controllers using step input signals. The stability of the Magnetic Levitation train is analyzed using root locus technique. Controller output (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Neutrosophic Regular Filters and Fuzzy Regular Filters in Pseudo-BCI Algebras.Xiaohong Zhang, Yingcan Ma & F. Smarandache - 2017 - Neutrosophic Sets and Systems 17:10-15.
    Neutrosophic set is a new mathematical tool for handling problems involving imprecise, indetermi nacy and inconsistent data. Pseudo-BCI algebra is a kind of non-classical logic algebra in close connection with various non-commutative fuzzy logics. Recently, we applied neutrosophic set theory to pseudo-BCI al gebras. In this paper, we study neutrosophic filters in pseudo-BCI algebras. The concepts of neutrosophic regular filter, neutrosophic closed filter and fuzzy regular filter in pseudo-BCI algebras are introduced, and some basic properties are discussed. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Modeling and Performance Analysis of Shell Tube Surface Condenser under Lumped Parameters using Fuzzy Self-tuning PI Controller.Mustefa Jibril, Mesay Tadesse, Nurye Hassen & Yonas Abebe - 2020 - International Journal of Electronics and Electrical Engineering Systems 3 (4):1-8.
    Shell tube surface condenser (STSC) is a heat exchanger system that exchange a high pressure steam into low pressure water and it is widely used in applications like textile industries and nuclear power plants. The modelling of the system has been established based on lumped parameters. In this paper, a fuzzy expert system is developed in order to improve the performance of the condenser. A pressure feedback system has been developed to analyze the effect of the condenser output temperature, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space.Adrianna Jagiełło, Piotr Lisowski & Roman Urban - 2022 - Journal of Logic, Language and Information 31 (3):389-408.
    This paper deals with Gärdenfors’ theory of conceptual spaces. Let \({\mathcal {S}}\) be a conceptual space consisting of 2-type fuzzy sets equipped with several kinds of metrics. Let a finite set of prototypes \(\tilde{P}_1,\ldots,\tilde{P}_n\in \mathcal {S}\) be given. Our main result is the construction of a classification algorithm. That is, given an element \({\tilde{A}}\in \mathcal {S},\) our algorithm classifies it into the conceptual field determined by one of the given prototypes \(\tilde{P}_i.\) The construction of our algorithm uses some physical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. A simple logic for comparisons and vagueness.Theodore J. Everett - 2000 - Synthese 123 (2):263-278.
    This article provides an intuitive semantic account of a new logic for comparisons (CL), in which atomic statements are assigned both a classical truth-value and a “how much” value or extension in the range [0, 1]. The truth-value of each comparison is determined by the extensions of its component sentences; the truth-value of each atomic depends on whether its extension matches a separate standard for its predicate; everything else is computed classically. CL is less radical than Casari’s comparative logics, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Probabilistic Justification Logic.Joseph Lurie - 2018 - Philosophies 3 (1):2.
    Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification. However, in this role, justification (and modal) logics are defective insofar as they represent justification with a necessity-like operator, whereas actual evidentialist justification is usually probabilistic. This paper first examines and rejects extant candidates for solving this problem: Milnikel’s Logic of Uncertain Justifications, Ghari’s Hájek–Pavelka-Style Justification Logics and a version of probabilistic justification logic developed by Kokkinis et (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Logical information and epistemic space.Mark Jago - 2009 - Synthese 167 (2):327 - 341.
    Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds yet which contains only those (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  33.  97
    Neutrosophic logics: prospects and problems.Umberto Rivieccio - 2008 - Fuzzy Sets and Systems 159 (14):1860-1868.
    Neutrosophy has been introduced some years ago by Florentin Smarandache as a new branch of philosophy dealing with “the origin, nature and scope of neutralities, as well as their interactions with different ideational spectra”. A variety of new theories have been developed on the basic principles of neutrosophy: among them is neutrosophic logics, a family of many-valued systems that can be regarded as a generalization of fuzzy logics. In this paper we present a critical introduction to neutrosophic logics, focusing (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Nonlinear Active Suspension System Control using Fuzzy Model Predictive Controller.Mustefa Jibril, Mesay Tadesse & Nurye Hassen - 2021 - Journal of Engineering and Applied Sciences 16 (9):289-295.
    Recent years, active suspension system has been widely used in automobiles to improve the road holding ability and the riding comfort. This study presents a new fuzzy model predictive control for a nonlinear quarter car active suspension system. A nonlinear dynamical model of active suspension is established, where the nonlinear dynamical characteristic of the spring and damper are considered. Based on the proposed fuzzy model predictive control method is presented to stabilize the displacement of the active suspension in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. The Logical Burdens of Proof. Assertion and Hypothesis.Daniele Chiffi & Fabien Schang - 2017 - Logic and Logical Philosophy 26 (4):1-22.
    The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, each corresponding to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. GENERAL SYSTEM THEORY, LIKEQUANTUM SEMANTICS AND FUZZY SETS.Ignazio Licata - 2006 - In G. Minati (ed.), Systemics of Emergence. Research and Developement. Springer.
    It is outlined the possibility to extend the quantum formalism in relation to the requirements of the general systems theory. It can be done by using a quantum semantics arising from the deep logical structure of quantum theory. It is so possible taking into account the logical openness relationship between observer and system. We are going to show how considering the truth-values of quantum propositions within the context of the fuzzy sets is here more useful for systemics. In conclusion (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Automating Reasoning with Standpoint Logic via Nested Sequents.Tim Lyon & Lucía Gómez Álvarez - 2018 - In Michael Thielscher, Francesca Toni & Frank Wolter (eds.), Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR2018). pp. 257-266.
    Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  92
    Classical Logic and Neutrosophic Logic. Answers to K. Georgiev.Florentin Smarandache - 2016 - Neutrosophic Sets and Systems 13:79-83.
    In this paper, we make distinctions between Classical Logic (where the propositions are 100% true, or 100 false) and the Neutrosophic Logic (where one deals with partially true, partially indeterminate and partially false propositions) in order to respond to K. Georgiev’s criticism [1]. We recall that if an axiom is true in a classical logic system, it is not necessarily that the axiom be valid in a modern (fuzzy, intuitionistic fuzzy, neutrosophic etc.) logic system.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Some Strong Conditionals for Sentential Logics.Jason Zarri - manuscript
    In this article I define a strong conditional for classical sentential logic, and then extend it to three non-classical sentential logics. It is stronger than the material conditional and is not subject to the standard paradoxes of material implication, nor is it subject to some of the standard paradoxes of C. I. Lewis’s strict implication. My conditional has some counterintuitive consequences of its own, but I think its pros outweigh its cons. In any case, one can always augment one’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Non-classical Metatheory for Non-classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
    A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  41.  86
    Introduction to Plithogenic Logic as generalization of MultiVariate Logic.Florentin Smarandache - 2021 - Neutrosophic Sets and Systems 45 (1):1-7.
    A Plithogenic Logical proposition P is a proposition that is characterized by many degrees of truth-values with respect to many corresponding attribute-values (or random variables) that characterize P. Each degree of truth-value may be classical, fuzzy, intuitionistic fuzzy, neutrosophic, or other fuzzy extension type logic. At the end, a cumulative truth of P is computed.
    Download  
     
    Export citation  
     
    Bookmark  
  42. Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans (ed.), Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.
    It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  93
    Beyond Negation and Excluded Middle: An exploration to Embrace the Otherness Beyond Classical Logic System and into Neutrosophic Logic.Florentin Smarandache & Victor Christianto - 2023 - Prospects for Applied Mathematics and Data Analysis 2 (2):34-40.
    As part of our small contribution in dialogue toward better peace development and reconciliation studies, and following Toffler & Toffler’s War and Antiwar (1993), the present article delves into a realm of logic beyond the traditional confines of negation and the excluded middle principle, exploring the nuances of "Otherness" that transcend classical and Nagatomo logics. Departing from the foundational premises of classical Aristotelian logic systems, this exploration ventures into alternative realms of reasoning, specifically examining Neutrosophic Logic and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. The Adjustment Of Identity: Inquiries into Logic and Semantics of an Uncertain World.Nijaz Ibrulj - 2012 - Studia Humana 1 (3/4):17-31.
    In this article I present some characteristics of logics and semantics of an uncertain world. I confront two-valued and fuzzy logic. I use Kafka’s novel Process as an example, which is designed as an uncertain context with words which are rigid designators without rigid meaning. That produces an uncertain world of logical and semantical relations. In presentation of problems I introduce basic concepts of Frege’s, Wittgenstein’s, Tarsky’s, Searle’s, Quine’s and Davidson’s philosophy of language. I differ the logical and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach - 2006 - In 36th International Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. Los Alamitos: IEEE Press.
    All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.
    Download  
     
    Export citation  
     
    Bookmark  
  46.  92
    Neutrosophic overset, neutrosophic underset, and neutrosophic offset: similarly for neutrosophic over-/under-/off-logic, probability, and statistics.Florentin Smarandache - 2016 - Brussels: Pons Editions.
    Neutrosophic Over-/Under-/Off-Set and -Logic were defined for the first time by Smarandache in 1995 and published in 2007. They are totally different from other sets/logics/probabilities. He extended the neutrosophic set respectively to Neutrosophic Overset {when some neutrosophic component is > 1}, Neutrosophic Underset {when some neutrosophic component is < 0}, and to Neutrosophic Offset {when some neutrosophic components are off the interval [0, 1], i.e. some neutrosophic component > 1 and other neutrosophic component < 0}. This is no surprise (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. From Intuitionism to Many-Valued Logics Through Kripke Models.Saeed Salehi - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 339-348.
    Intuitionistic Propositional Logic is proved to be an infinitely many valued logic by Gödel (Kurt Gödel collected works (Volume I) Publications 1929–1936, Oxford University Press, pp 222–225, 1932), and it is proved by Jaśkowski (Actes du Congrés International de Philosophie Scientifique, VI. Philosophie des Mathématiques, Actualités Scientifiques et Industrielles 393:58–61, 1936) to be a countably many valued logic. In this paper, we provide alternative proofs for these theorems by using models of Kripke (J Symbol Logic 24(1):1–14, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48.  32
    Neutrosophic linear models and algorithms to find their optimal solution.Florentin Smarandache & Maissam Ahmad Jdid - 2023
    We present a study of linear models using the concepts of neutrosophic science, the science that was built on the basis that there is no absolute truth, there is no confirmed data, issues cannot be limited to right and wrong only. There is a third state between error and right, an indeterminate, undetermined, uncertain state. It is indeterminacy. Neutrosophic science gave each issue three dimensions, namely (T, I, F), correctness in degrees, indeterminacy in degrees, and error in degrees. It was (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Arguments Whose Strength Depends on Continuous Variation.James Franklin - 2013 - Informal Logic 33 (1):33-56.
    Both the traditional Aristotelian and modern symbolic approaches to logic have seen logic in terms of discrete symbol processing. Yet there are several kinds of argument whose validity depends on some topological notion of continuous variation, which is not well captured by discrete symbols. Examples include extrapolation and slippery slope arguments, sorites, fuzzy logic, and those involving closeness of possible worlds. It is argued that the natural first attempts to analyze these notions and explain their relation (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Modeling Gender as a Multidimensional Sorites Paradox.Rory W. Collins - 2021 - Hypatia 36 (2):302–320.
    Gender is both indeterminate and multifaceted: many individuals do not fit neatly into accepted gender categories, and a vast number of characteristics are relevant to determining a person's gender. This article demonstrates how these two features, taken together, enable gender to be modeled as a multidimensional sorites paradox. After discussing the diverse terminology used to describe gender, I extend Helen Daly's research into sex classifications in the Olympics and show how varying testosterone levels can be represented using a sorites argument. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000