Log in

Relevant bibliographies by topics / Lukasiewicz Logic / Journal articles

To see the other types of publications on this topic, follow the link: Lukasiewicz Logic.

Journal articles on the topic 'Lukasiewicz Logic'

Author: Grafiati

Published: 5 June 2025

Last updated: 2 August 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Lukasiewicz Logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

J.V.T.da., Mata. "Is the Necessary Someway Possible?" Логико-философские штудии 21, no. 4 (2024): 198–202. http://dx.doi.org/10.52119/lphs.2024.48.54.012.

Full text

Abstract:

The aim of this essay is to reexamine an argument by Aristotle (De Interpretatione) and its reconstruction by Jan Lukasiewicz, who used the tools of modern logic. The Modal Logic has been the object of refined analysis by Jan Lukasiewicz. He fulfilled this project in his classic book, Aristotle’s Syllogistic. He introduced modal “functors” to reconstruct Aristotle’s modal logic. I will discuss Lukasiewicz’s way to solve the questions concerning Aristotle’s modal logic. Consequently, I will present a new symbolic representation of propositions concerning the modalities of necessity and possibil

APA, Harvard, Vancouver, ISO, and other styles

2

Mattila, Jorma K. "On Lukasiewicz Modifier Logic." Journal of Advanced Computational Intelligence and Intelligent Informatics 9, no. 5 (2005): 506–10. http://dx.doi.org/10.20965/jaciii.2005.p0506.

Full text

Abstract:

Algebras of so-called simple modifiers are considered, we create a logical system of modifiers based on Lukasiewicz' many-valued logic together with modifier algebras, then we find connections to graded modalities.

APA, Harvard, Vancouver, ISO, and other styles

3

Kundu, Sukhamay, and Jianhua Chen. "Fuzzy logic or Lukasiewicz logic: A clarification." Fuzzy Sets and Systems 95, no. 3 (1998): 369–79. http://dx.doi.org/10.1016/s0165-0114(96)00268-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Ovchinnikov, Sergei. "Social choice and Lukasiewicz logic." Fuzzy Sets and Systems 43, no. 3 (1991): 275–89. http://dx.doi.org/10.1016/0165-0114(91)90255-o.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Jerabek, E. "Admissible Rules of Lukasiewicz Logic." Journal of Logic and Computation 20, no. 2 (2010): 425–47. http://dx.doi.org/10.1093/logcom/exp078.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Sen, Jayanta, та M. K. Chakraborty. "Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study". Journal of Applied Non-Classical Logics 11, № 3-4 (2001): 313–29. http://dx.doi.org/10.3166/jancl.11.313-329.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Tavana, N. R., M. Pourmahdian, and F. Didehvar. "Compactness in first order Lukasiewicz logic." Logic Journal of IGPL 20, no. 1 (2011): 254–65. http://dx.doi.org/10.1093/jigpal/jzr034.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Hajek, P. "On White's Expansion of Lukasiewicz Logic." Journal of Logic and Computation 20, no. 2 (2009): 389–97. http://dx.doi.org/10.1093/logcom/exp050.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ángel, Garrido, and Yuste Piedad. "BRAIN Journal - Looking for Oriental fundamentals Fuzzy Logic." BRAIN - Broad Research in Artificial Intelligence and Neuroscience 4, no. 1-4 (2013): 121–25. https://doi.org/10.5281/zenodo.1043378.

Full text

Abstract:

ABSTRACT For quite some time we have been trying to trace the river of Non-Classical Logics, and especially, Fuzzy Logic, trying to find the sources of this today flowing quite mighty river. Following from Lotfi A. Zadeh, we have traced his inspiring, the Polish logician Jan Lukasiewicz, who in turn was inspired by Aristotle's Peri Hermeneias (De Interpretatione). Also, Lukasiewicz occupies a central position in the Lvov-Warsaw School, who founded Kazimierz Twardowski, a student of Franz Brentano, and this in turn disciple of Bernard Bolzano. The connection with Leibniz and Bolzano come throug

APA, Harvard, Vancouver, ISO, and other styles

10

Banerjee, Mohua. "Rough Sets and 3-valued Lukasiewicz Logic." Fundamenta Informaticae 31, no. 3,4 (1997): 213–20. http://dx.doi.org/10.3233/fi-1997-313401.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Jerabek, E. "Bases of Admissible Rules of Lukasiewicz Logic." Journal of Logic and Computation 20, no. 6 (2010): 1149–63. http://dx.doi.org/10.1093/logcom/exp082.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Ruo, Ando, and Takefuji Yoshiyasu. "Experiments of Randomized Hints on an Axiom of Infinite-Valued Lukasiewicz Logic." International Journal of Novel Research in Computer Science and Software Engineering 10, no. 3 (2023): 1–6. https://doi.org/10.5281/zenodo.8307890.

Full text

Abstract:

<strong>Abstract:</strong> In this paper, we present an experiment of our randomized hints strategy of automated reasoning for yielding Axiom(5) from Axiom(1)(2)(3)(4) of Infinite-Valued Lukasiewicz Logic. In the experiment, we randomly generated a set of hints with size ranging from 30 to 60 for guiding hyper-resolution based search by the theorem prover. We have successfully found the most useful hints list (with 30 clauses) among 150 * 6 hints lists. Also, we discuss a curious non-linear increase of generated clauses in deducing Axiom(5) by applying our randomized hints strategy. <strong>Ke

APA, Harvard, Vancouver, ISO, and other styles

13

Zhou, Li, and Jialu Zhang. "Lukasiewicz semantic MV-topology for MV-algebra and its application to Lukasiewicz propositional logic." Journal of Intelligent & Fuzzy Systems 33, no. 1 (2017): 377–87. http://dx.doi.org/10.3233/jifs-161714.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

T. Gokila. "Lukasiewicz Fuzzy BM-Algebra and BM-Ideal." Communications on Applied Nonlinear Analysis 31, no. 6s (2024): 131–42. http://dx.doi.org/10.52783/cana.v31.1172.

Full text

Abstract:

Introduction: ℱ???????????????? Sets is a mathematical framework that expands the traditional concept of sets by enabling elements to have degrees of membership. This enables partial membership based on degree of likeness. In classical set theory, an element can be represented as a crisp set, indicated by x, which either belongs to or does not belong to the set. In contrast, an ℱ???????????????? Sets allows for various levels of membership. The level of membership has a value somewhere between 0 and 1, with 0 representing non-participation and 1 representing full participation. The shape of th

APA, Harvard, Vancouver, ISO, and other styles

15

Rodríguez, J. Tinguaro, Esko Turunen, Da Ruan, and Javier Montero. "Another paraconsistent algebraic semantics for Lukasiewicz–Pavelka logic." Fuzzy Sets and Systems 242 (May 2014): 132–47. http://dx.doi.org/10.1016/j.fss.2013.06.011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Cintula, P., and P. Hajek. "Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic." Journal of Logic and Computation 19, no. 2 (2008): 245–60. http://dx.doi.org/10.1093/logcom/exn052.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Jerabek, E. "The complexity of admissible rules of Lukasiewicz logic." Journal of Logic and Computation 23, no. 3 (2012): 693–705. http://dx.doi.org/10.1093/logcom/exs007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Mundici, Daniele. "A constructive proof of McNaughton's theorem in infinite-valued logic." Journal of Symbolic Logic 59, no. 2 (1994): 596–602. http://dx.doi.org/10.2307/2275410.

Full text

Abstract:

AbstractWe give a constructive proof of McNaughton's theorem stating that every piecewise linear function with integral coefficients is representable by some sentence in the infinite-valued calculus of Lukasiewicz. For the proof we only use Minkowski's convex body theorem and the rudiments of piecewise linear topology.

APA, Harvard, Vancouver, ISO, and other styles

19

Bakhtiyarov, K. I. "METALOGIC: THE REVIVAL OF LOGIC." Metaphysics, no. 1 (December 15, 2021): 176–82. http://dx.doi.org/10.22363/2224-7580-2021-1-176-182.

Full text

Abstract:

As shown in the article, a single-level matrix of two-dimensional binarity represents 4 modes of time, 4 phases of genesis, 4 letters of the genetic code. The two-level matrix allows you to represent codons, 16 psychotypes, 16 tenses of the English verb, supergenesis. The three-level matrix gives triplets of the genetic code and a model of the conscious mind. For three universal paradigms of binarity, the logics of Boole, Lukasiewicz and metalogic were built, but the latter are still not used in computers. You need the CrossWord program instead of Word.

APA, Harvard, Vancouver, ISO, and other styles

20

LI, Yong-Ming. "Fuzzy Finite Automata and Monadic Second-Order Lukasiewicz Logic." Chinese Journal of Computers 31, no. 10 (2009): 1788–94. http://dx.doi.org/10.3724/sp.j.1016.2008.01788.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Osorio, Mauricio, and José Luis Carballido Carranza. "An Extension of the Stable Semantics via Lukasiewicz Logic." Electronic Notes in Theoretical Computer Science 354 (December 2020): 141–55. http://dx.doi.org/10.1016/j.entcs.2020.10.011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Andjelkovic, Danica. "Aristotle's syllogistic and modern logic." Theoria, Beograd 48, no. 3-4 (2005): 155–66. http://dx.doi.org/10.2298/theo0504155a.

Full text

Abstract:

Different understandings of Aristotle's syllogistic as a logical theory are reviewed. Leibniz offered a mathematical interpretation of syllogistic. Boole expressed all syllogistic relations by means of algebraic formulas. Lukasiewicz built a system of syllogistic as a logical theory separate and different from the predicate calculus Comparing syllogistic with other formal systems, its definitional equivalence with Boolean algebra is proven. Many systems of syllogistic are built, and their differences are due to recognizing the bearer of existential sense of categorical propositions. It is show

APA, Harvard, Vancouver, ISO, and other styles

23

Christianto, Victor, Florentin Smarandache, and Sori Tjandrah Simbolon. "On mythical Dewaruci, Manunggaling kawula-Gusti and other non-trivial Javanese logic." New Perspective in Theology and Religious Studies 3, no. 1 (2022): 14–22. http://dx.doi.org/10.47900/nptrs.v3i1.56.

Full text

Abstract:

Discourses on logic have been for a long time predominated by Aristotelian logic, especially that is the case in the West. Although since early 20th century there are new development towards many-valued logic, for instance by Lukasiewicz etc, and also fuzzy logic theory by Lotfi Zadeh; and also in recent years there is development by one of us (FS) on Neutrosophic Logic, Plithogenic Logic etc. But still the general public usually are only accustomed to Aristotelian way. More recently, there are growing interests to consider African, Asian and also Native American logic. Nonetheless there is ve

APA, Harvard, Vancouver, ISO, and other styles

24

Babicová, Dušana, and Roman Frič. "Real Functions in Stochastic Dependence." Tatra Mountains Mathematical Publications 74, no. 1 (2019): 17–34. http://dx.doi.org/10.2478/tmmp-2019-0016.

Full text

Abstract:

Abstract In a fuzzified probability theory, random events are modeled by measurable functions into [0,1] and probability measures are replaced with probability integrals. The transition from Boolean two-valued logic to Lukasiewicz multivalued logic results in an upgraded probability theory in which we define and study asymmetrical stochastic dependence/independence and conditional probability based on stochastic channels and joint experiments so that the classical constructions follow as particular cases. Elementary categorical methods enable us to put the two theories into a perspective.

APA, Harvard, Vancouver, ISO, and other styles

25

Belluce, L. P., A. Di Nola, and A. Lettieri. "Subalgebras, direct products and associated lattices of MV-algebras." Glasgow Mathematical Journal 34, no. 3 (1992): 301–7. http://dx.doi.org/10.1017/s0017089500008855.

Full text

Abstract:

MV-algebras were introduced by C. C. Chang [3] in 1958 in order to provide an algebraic proof for the completeness theorem of the Lukasiewicz infinite valued propositional logic. In recent years the scope of applications of MV-algebras has been extended to lattice-ordered abelian groups, AF C*-algebras [10] and fuzzy set theory [1].

APA, Harvard, Vancouver, ISO, and other styles

26

YAMADA, Koichi, and Masao MUKAIDONO. "Study on Fuzzy Abduction Based on Lukasiewicz Infinite Valued Logic." Journal of Japan Society for Fuzzy Theory and Systems 7, no. 1 (1995): 103–12. http://dx.doi.org/10.3156/jfuzzy.7.1_103.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Wygralak, Maciej. "A look at metrics and norms through the Lukasiewicz logic." Journal of Applied Non-Classical Logics 1, no. 1 (1991): 77–81. http://dx.doi.org/10.1080/11663081.1991.10510773.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Yılmaz, Damla, Bijan Davvaz, and Hasret Yazarlı. "Permuting Tri-derivations in MV-algebras." Malaya Journal of Matematik 11, no. 02 (2023): 142–50. http://dx.doi.org/10.26637/mjm1102/003.

Full text

Abstract:

An MV-algebra is an algebraic structure with a binary operation ⊕, a unary operation ′ and the constant 0 satisfying certain axioms. MV-algebras are the algebraic semantics of Lukasiewicz logic. This work includes a type of derivation research on MV-algebras. Our aim is to introduce the concept of permuting tri-derivation on MV-algebras and to discuss some results.

APA, Harvard, Vancouver, ISO, and other styles

29

Myronenko, Ruslan. "Reconstruction of the Stagirite argument against the fatalism of future events." Multiversum. Philosophical almanac 2, no. 2 (2020): 32–42. http://dx.doi.org/10.35423/2078-8142.2020.2.2.03.

Full text

Abstract:

The question of free will and determinism is one of the most discussed in analytic philosophy. This is because interdisciplinary research has entered the field of studying the brain and consciousness – and often, consciousness is presented as an invention, an epiphenomenon. One of the attributes of consciousness is free will. The prehistory of modern research in the field of free will is the discussion about the need for future events, which was first analyzed by Stagirite in chapter 9, "On Interpretation". Despite all the analyticity and consistency of Aristotle's works, this work is full of

APA, Harvard, Vancouver, ISO, and other styles

30

Baaz, M., and G. Metcalfe. "Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic." Journal of Logic and Computation 20, no. 1 (2008): 35–54. http://dx.doi.org/10.1093/logcom/exn059.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Teodorescu, Mirela, and Dan Ionescu. "Florentin Smarandache & Ştefan Vlăduţescu: Neutrosophic Emergences and Incidences in Communication and Information - Book Review." International Letters of Social and Humanistic Sciences 38 (August 2014): 94–99. http://dx.doi.org/10.18052/www.scipress.com/ilshs.38.94.

Full text

Abstract:

Neutrosophic emergences and incidences in communication and information, published in Germany/Saarbrücken: LAP LAMBERT Academic Publishing in 2013, is a book that constitutes a new trend, a new approach in the science of logic, philosophy, communication theory, information, an approached and exemplification that it was wanted, it was intuited, it was expected but it has no mathematical foundation, that is neutrosophy. It is a book that presents avant-garde information. It is written by two appreciated researchers and inexhaustible perpetual idea machines: Professors Florentin Smarandache and Ş

APA, Harvard, Vancouver, ISO, and other styles

32

Koprda, Štefan, and Martin Magdin. "Fuzzy Controller Parameters´ Proposal in Matlab Enviroment." COMPUSOFT: An International Journal of Advanced Computer Technology 04, no. 01 (2015): 1489–91. https://doi.org/10.5281/zenodo.14769292.

Full text

Abstract:

In this paper we deal with the creation and design of fuzzy controller using Matlab. As the founder of fuzzy theory is considered Azerbaijani Prof. Lotfi Zadeh. In his article in 1965 is first time specified term "fuzzy" [8]. Defining of Zadeh fuzzy sets is based on the efforts of experts to build multivalued logic. Multivalued logic (Lukasiewicz logic) allows to work with imprecise (vague) terms and eliminates gaps of "classical" two-valued logic that we utilized in the art since ancient times. The use of vague terms can not be avoided especially when describing the behavior of complex system

APA, Harvard, Vancouver, ISO, and other styles

33

Ion, C. Baianu, Georgescu George, F. Glazebrook James, and Brown Ronald. "BRAIN Journal - Lukasiewicz-Moisil Many-Valued Logic Algebra of Highly-Complex Systems." Brain Journal 1, SPECIAL ISSUE ON COMPLEXITY IN SCIENCES AND ARTIFICIAL INTELLIGENCE (2010): 1–11. https://doi.org/10.5281/zenodo.1037321.

Full text

Abstract:

ABSTRACT The fundamentals of ÃLukasiewicz-Moisil logic algebras and their applications to complex genetic network dynamics and highly complex systems are presented in the context of a categorical ontology theory of levels, Medical Bioinformatics and self-organizing, highly complex systems. Quantum Automata were defined in refs.[2] and [3] as generalized, probabilistic automata with quantum state spaces [1]. Their next-state functions operate through transitions between quantum states defined by the quantum equations of motions in the Schr¨odinger representation, with both initial and boundary

APA, Harvard, Vancouver, ISO, and other styles

34

Zhang, Yun Jie, Na Xin Chen, and Peng Yan. "Research on Four Type-2 Fuzzy Reasoning Models." Advanced Materials Research 204-210 (February 2011): 406–11. http://dx.doi.org/10.4028/www.scientific.net/amr.204-210.406.

Full text

Abstract:

The previous discussion about type-2 fuzzy reasoning mechanisms just paid attentions to Mamdani models based on Mamdani implication operator. There is no doubt that the operator is justifiable, since such an operator possesses characteristic clipping effect, i.e. limiting the consequence membership function with the truth value of the antecedent. However, Mamdani implication operator does not uphold classical logic, i.e. it is in no agreement with the classic binary interpretation of implication. All of the Kleene-Dienes operator, Lukasiewicz operator, Zadeh operator and Reichenbach operator,

APA, Harvard, Vancouver, ISO, and other styles

35

Belluce, L. P. "Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory." Canadian Journal of Mathematics 38, no. 6 (1986): 1356–79. http://dx.doi.org/10.4153/cjm-1986-069-0.

Full text

Abstract:

In classical two-valued logic there is a three way relationship among formal systems, Boolean algebras and set theory. In the case of infinite-valued logic we have a similar relationship among formal systems, MV-algebras and what is called Bold fuzzy set theory. The relationship, in the latter case, between formal systems and MV-algebras has been known for many years while the relationship between MV-algebras and fuzzy set theory has hardly been studied. This is not surprising. MV-algebras were invented by C. C. Chang [1] in order to provide an algebraic proof of the completeness theorem of th

APA, Harvard, Vancouver, ISO, and other styles

36

Funabiki, S., and T. Fujii. "Fuzzy control of SMES for levelling load power fluctuation based on Lukasiewicz logic." IEE Proceedings C Generation, Transmission and Distribution 140, no. 2 (1993): 91. http://dx.doi.org/10.1049/ip-c.1993.0013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Mundici, D. "A Compact [0,1]-valued First-order Lukasiewicz Logic with Identity on Hilbert Space." Journal of Logic and Computation 21, no. 3 (2009): 509–25. http://dx.doi.org/10.1093/logcom/exp017.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

GOEBEL, KAI F., and ALICE M. AGOGINO. "FUZZY BELIEF NETS." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 08, no. 04 (2000): 453–69. http://dx.doi.org/10.1142/s0218488500000307.

Full text

Abstract:

This paper introduces fuzzy belief nets (FBN). The ability to invert arcs between nodes is key to solving belief nets. The inversion is accomplished by defining closeness measures which allow diagnostic reasoning from observed symptoms to cause of failures. The closeness measures are motivated by a Lukasiewicz operator which takes into account the distance from an observed symptom set to the modeled symptom set for all failure combinations. Hypothesized failures are then ranked according to maximum closeness measure and minimum cover, i.e., number of faults. Within the realm of fuzzy logic we

APA, Harvard, Vancouver, ISO, and other styles

39

Aguzzoli, S. "Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions." Journal of Logic and Computation 10, no. 2 (2000): 213–22. http://dx.doi.org/10.1093/logcom/10.2.213.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

YASUI, Hiroyuki, and Masao MUKAIDONO. "A Consideration on Fuzzy Logic Programming based on Lukasiewicz's implication." Journal of Japan Society for Fuzzy Theory and Systems 8, no. 5 (1996): 937–46. http://dx.doi.org/10.3156/jfuzzy.8.5_937.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Dietz Saldanha, Emmanuelle-Anna, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli, and Luis Palacios Medinacelli. "A Core Method for the Weak Completion Semantics with Skeptical Abduction." Journal of Artificial Intelligence Research 63 (September 28, 2018): 51–86. http://dx.doi.org/10.1613/jair.1.11236.

Full text

Abstract:

   The Weak Completion Semantics is a novel cognitive theory which has been successfully applied to the suppression task, the selection task, syllogistic reasoning, the belief bias effect, spatial reasoning as well as reasoning with conditionals. It is based on logic programming with skeptical abduction. Each program admits a least model under the three-valued Lukasiewicz logic, which can be computed as the least fixed point of an appropriate semantic operator. The semantic operator can be represented by a three-layer feed-forward network using the core method. Its least fixe

APA, Harvard, Vancouver, ISO, and other styles

42

Rehman, Atiq ur, Andrii Shekhovtsov, Nighat Rehman, Shahzad Faizi, and Wojciech Sałabun. "On the Analytic Hierarchy Process Structure in Group Decision-Making Using Incomplete Fuzzy Information with Applications." Symmetry 13, no. 4 (2021): 609. http://dx.doi.org/10.3390/sym13040609.

Full text

Abstract:

The multi-criteria decision-making (MCDM) problem has a solution whose quality can be affected by the experts’ inclinations. Under essential conditions, the fuzzy MCDM method can provide more acceptable and efficient outcomes to select the best alternatives. This work consists of a consensus-based technique for selecting and evaluating suppliers in an incomplete fuzzy preference relations (IFPRs) environment utilizing TL-transitivity (Lukasiewicz transitivity). The suggested method is developed based on the criteria of the Analytical Hierarchy Process (AHP) Fframework, and the decision matrix

APA, Harvard, Vancouver, ISO, and other styles

43

Iorgulescu, Afrodita. "Connections Between MVn Algebras and n-valued Lukasiewicz-Moisil Algebras - IV." JUCS - Journal of Universal Computer Science 6, no. (1) (2000): 139–54. https://doi.org/10.3217/jucs-006-01-0139.

Full text

Abstract:

We introduce two chains of unary operations in the MVn algebra of Revaz Grigolia; they will be used in establishing many connections between these algebras and n-valued Lukasiewicz-Moisil algebras (LMn algebras for short). The study has four parts. It is by and large self-contained. The main result of the first part is that MV4 algebras coincide with LM4 algebras. The larger class of ``relaxed''-MVn algebras is also introduced and studied. This class is related to the class of generalized LMn pre-algebras. The main results of the second part are that, for n 5, any MVn algebra is an LMn algebra

APA, Harvard, Vancouver, ISO, and other styles

44

Blanco, José Miguel. "An Implicative Expansion of Belnap’s Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes." Bulletin of Symbolic Logic 26, no. 3-4 (2020): 297–98. http://dx.doi.org/10.1017/bsl.2020.27.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Volf, Marina. "“Russian Αristotle” in the Context of the Question about Aristotelianism’s Reception (Translator's Remarks on the J. Wolensky’s Paper “Reception of Aristotle in Poland around 1900”)". Respublica Literaria 4, № 3 (2023): 37–51. http://dx.doi.org/10.47850/rl.2023.4.3.37-51.

Full text

Abstract:

The paper presents a Russian translation of an article by J. Wolenski devoted to the history of logic in Poland since 1900 in the context of the reception of Aristotle's logical teaching, and it is preceded by the remarks of he translator. In the introductory remarks to the translation is discussed the question of the reception of Aristotle in Russia, it is proposed to distinguish between the reception of Aristotle himself and his scholastic interpretation. It is emphasized that this is the approach which J. Wolenski proposed. The concept of reception is problematized, and is offered some poss

APA, Harvard, Vancouver, ISO, and other styles

46

Pramudito, Aditya, and Puput Wanarti Rusimamto. "Analisis dan Simulasi Sistem Kontrol Suhu Otomatis Berbasis Fuzzy Logic." JURNAL TEKNIK ELEKTRO 14, no. 1 (2024): 43–47. https://doi.org/10.26740/jte.v14n1.p43-47.

Full text

Abstract:

Pengendalian suhu adalah aspek vital dalam berbagai lingkungan teknologi modern, termasuk industri, perkantoran, dan perumahan. Sistem pengendalian suhu yang efektif dan efisien tidak hanya mempengaruhi kenyamanan penghuni atau pekerja tetapi juga berdampak langsung pada produktivitas, kualitas produk, serta penggunaan energi. Penggunaan Fuzzy Logic dalam sistem kontrol suhu menawarkan pendekatan yang lebih adaptif dan responsif terhadap variabilitas dan ketidakpastian lingkungan. Logika fuzzy, yang pertama kali diperkenalkan oleh Jan Lukasiewicz pada tahun 1930 dan dipromosikan oleh Lotfi Zad

APA, Harvard, Vancouver, ISO, and other styles

47

GOODMAN, I. R., and H. T. NGUYEN. "MATHEMATICAL FOUNDATIONS OF CONDITIONALS AND THEIR PROBABILISTIC ASSIGNMENTS." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 03, no. 03 (1995): 247–339. http://dx.doi.org/10.1142/s0218488595000165.

Full text

Abstract:

This paper addresses the mathematical modeling of information as originally expressed in natural language in conditional form. A number of different conditional event algebras—all avoiding the Lewis triviality result—are briefly surveyed, including the main body of those proposed previously, classified as Type I, and the newly expanded Type II product space approach (PS) originally independently offered by Van Fraasen. The issue of higher order conditionals and triviality is also discussed. In addition, this work considers two basic results of McGee: Firstly, this paper provides a new general

APA, Harvard, Vancouver, ISO, and other styles

48

Flaminio, T., L. Godo, and E. Marchioni. "On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events." Journal of Logic and Computation 21, no. 3 (2009): 429–46. http://dx.doi.org/10.1093/logcom/exp012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Mattila, Jorma K. "From Basic Research to Applications." Journal of Advanced Computational Intelligence and Intelligent Informatics 9, no. 5 (2005): 497. http://dx.doi.org/10.20965/jaciii.2005.p0497.

Full text

Abstract:

Forty years have passed since Prof. Lotfi A. Zadeh introduced fuzzy set theory in his known article “Fuzzy Sets” in Information and Control, 8, 1965, sparking new development in information technology and automation. This article also formed the roots of the Fuzzy Systems Research Group, an active part of the Laboratory of Applied Mathematics, Lappeenranta University of Technology. Rough set theory, evolutionary computing, and neural computing followed, together with their combinations. This Special Issue presents 10 papers representing these areas. Many of the contributors of this Special Iss

APA, Harvard, Vancouver, ISO, and other styles

50

Jokar, Fatemeh, and Bijan Davvaz. "A New Approach to Near Approximation in Fuzzy Ideals of an MV-Algebras." Foundations of Computing and Decision Sciences 50, no. 1 (2025): 57–86. https://doi.org/10.2478/fcds-2025-0003.

Full text

Abstract:

Abstract The rough set concept was originally proposed by Pawlak as a formal tool for modeling incompleteness and imprecision in information systems. Rough set theory is an extension of set theory in which a subset of a universe is described by a pair of sets called lower and upper approximations. Near set theory was introduced by Peters as a generalization of rough set theory. In this theory, Peters depends on the features of objects to define the nearness of objects and consequently, the classification of our universal set with respect to the available information of the objects. Many sets a

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!