Academic literature on the topic 'Lukasiewicz Logic'

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Lukasiewicz Logic"

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
More sources

Dissertations / Theses on the topic "Lukasiewicz Logic"

1

Ferraioli, Anna Rita. "Lukasiewicz logic: algebras and sheaves." Doctoral thesis, Universita degli studi di Salerno, 2011. http://hdl.handle.net/10556/173.

Full text
Abstract:
2009 - 2010<br>Classical logic arose from the need to study forms and laws of the human reasoning. But soon, it came out the di culties of classical logic to formalize uncertain events and vague concepts, for which it is not possible to assert if a sentence is true or false. In order to overcome these limits, at the beginning of the last century, non classical logics were introduced. In these logic it fails at least one among the basic principles of classical logic. For example, cutting out the principle of truth functionality (the true value of a sentence only depends on the truth val
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Lukasiewicz Logic"

1

Seddon, Frederick. Aristotle and Lukasiewicz: On the principle of contradiction. Modern Logic Pub., 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Karpenko, Alexander S. Lukasiewicz's Logics And Prime Numbers. Luniver Press, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Lukasiewicz Logic"

1

Kundu, Sukhamay, and Jianhua Chen. "Fuzzy logic or lukasiewicz logic: A clarification." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58495-1_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Simons, Peter. "Lukasiewicz, Meinong, and Many-Valued Logic." In Philosophy and Logic in Central Europe from Bolzano to Tarski. Springer Netherlands, 1992. http://dx.doi.org/10.1007/978-94-015-8094-6_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Wang, Qing-Ping. "Normal Form of n-Valued Lukasiewicz Logic Formulas." In Quantitative Logic and Soft Computing 2016. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46206-6_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Moraga, Claudio, and Luis Salinas. "Interpreting Neural Networks in the Frame of the Logic of Lukasiewicz." In Connectionist Models of Neurons, Learning Processes, and Artificial Intelligence. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45720-8_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Barriga, Angel, and Nashaat Mohamed Hussein Hassan. "Application of Fuzzy Logic and Lukasiewicz Operators for Image Contrast Control." In New Advances in Intelligent Signal Processing. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-11739-8_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Malinowski, Grzegorz. "The third logical value of Lukasiewicz." In Many-Valued Logics. Oxford University PressOxford, 1993. http://dx.doi.org/10.1093/oso/9780198537878.003.0003.

Full text
Abstract:
Abstract The actual introduction of a third logical value by Lukasiewicz (1920), next to truth and falsity, was preceded by thorough philosophical studies. Their crowning achievement was a three-valued propositional calculus which, from the point of view of logic, represented a standard line of approach. However, in view of the surprisingly rich motivation substantiating the new logic and also the hopes it produced, its exceptional position has been maintained. The present chapter is an overview of the origin and basic properties of the three-valued logic of Lukasiewicz.
APA, Harvard, Vancouver, ISO, and other styles
7

Mundici, Daniele. "Lukasiewicz Normal Forms and Torie Desingularizations." In Logic: from Foundations to Applications. Oxford University PressOxford, 1996. http://dx.doi.org/10.1093/oso/9780198538622.003.0017.

Full text
Abstract:
Abstract Owing to its relations with AF C*-algebras, the infinite-valued calculus of Lukasiewicz is attracting renewed attention. A simple interpretation of non Boolean truth-values can be given in the context of Ulam’s game: this is the variant of the Twenty Questions game where the first player chooses a number x in a certain search space Sand the second player-the Investigator-must find x by asking a minimum number of Yes-No questions. In response the first player may lie up to ℓ times. Answers do not obey classical logic, because equal answers to the same repeated question are generally mo
APA, Harvard, Vancouver, ISO, and other styles
8

Malinowski, Grzegorz. "Probability and many-valuedness." In Many-Valued Logics. Oxford University PressOxford, 1993. http://dx.doi.org/10.1093/oso/9780198537878.003.0010.

Full text
Abstract:
Abstract Mathematical probability is a measure of events occurring totally (or partially) beyond human control, that is to say casual events. The probability calculus in its simplest form resembles many-valued logic. Therefore, the question of a connection between probability and many-valuedness emerges quite naturally. A pioneering contribution to the probabilistic approach to logical values was due to MacColl (1897) who reserved the category of ‘variability’ for propositions that are true in some cases and false in others; here propositional functions with one variable are the case. Lukasiew
APA, Harvard, Vancouver, ISO, and other styles
9

Striker, Gisela. "Perfection and Reduction in Aristotle‘s Prior Analytics." In Rationality in Greek Thought. Oxford University PressOxford, 1996. http://dx.doi.org/10.1093/oso/9780198240440.003.0008.

Full text
Abstract:
Abstract Ever since Lukasiewicz reinstated Aristotle as the founder of formal logic, there has been a wealth of studies of Aristotle‘s syllogistic as a formal system. Against Lukasiewicz‘s claim that syllogistic is a system in which certain theses function as axioms, others as theorems derived from these, it has been argued-convincingly, to my mind-that it would be historically more accurate to represent syllogistic as a system of natural deduction that starts from a set of primitive rules and demonstrates the validity of inferences by showing how their conclusions can be deduced from their pr
APA, Harvard, Vancouver, ISO, and other styles
10

Feferman, Solomon, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort. "Introductory note to 1992c." In Kurt GöDel Collected Works Volume I. Oxford University PressNew York, NY, 2001. http://dx.doi.org/10.1093/oso/9780195147209.003.0033.

Full text
Abstract:
Abstract We easily impose a true-false dichotomy on the truth-functional formulas of propositional logic by assigning arbitrary truth values to all the propositional letters and then letting the truth tables determine the truth values of all compound formulas. But now let us imagine, instead of the familiar formulas, a well-ordered but perhaps indenumerable supply. It is still to be closed under the operations’∼’ and’:::,’, but there need no longer be minimal units such as letters. Can we specify a true-false dichotomy for these formulas, conformable still to the truth-functional constraints o
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Lukasiewicz Logic"

1

Goldstern, M. "The Complexity of Lukasiewicz Logic." In 2013 IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL 2013). IEEE, 2013. http://dx.doi.org/10.1109/ismvl.2013.58.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hui, Xiaojing. "Randomization of Lukasiewicz 3-ValuedPpropositional Logic System." In 2011 International Conference on Information Technology, Computer Engineering and Management Sciences (ICM). IEEE, 2011. http://dx.doi.org/10.1109/icm.2011.392.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Petrik, Milan, and Peter Sarkoci. "Lukasiewicz-like triangular subnorms." In 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15). Atlantis Press, 2015. http://dx.doi.org/10.2991/ifsa-eusflat-15.2015.181.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Surhonne, Anmol Prakash, Debjyoti Bhattacharjee, and Anupam Chattopadhyay. "Synthesis of Multi-valued Literal Using Lukasiewicz Logic." In 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2018. http://dx.doi.org/10.1109/ismvl.2018.00043.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Liu, Jun, Luis Martinez Lopez, Yang Xu, and Zhirui Lu. "Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic." In 37th International Symposium on Multiple-Valued Logic. IEEE, 2007. http://dx.doi.org/10.1109/ismvl.2007.9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bofill, Miquel, Felip Manya, Amanda Vidal, and Mateu Villaret. "Finding Hard Instances of Satisfiability in Lukasiewicz Logics." In 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2015. http://dx.doi.org/10.1109/ismvl.2015.10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bou, Félix. "Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters." In 2010 40th IEEE International Symposium on Multiple-Valued Logic. IEEE, 2010. http://dx.doi.org/10.1109/ismvl.2010.23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jiang, Min, Jiangqin Xu, and Feng Liu. "Uncertain Formal Concept Based on 3-Valued Lukasiewicz Logic." In 2010 International Conference on Computational Intelligence and Software Engineering (CiSE). IEEE, 2010. http://dx.doi.org/10.1109/cise.2010.5677062.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Ferguson, Thomas Macaulay. "Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics." In 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2014. http://dx.doi.org/10.1109/ismvl.2014.29.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Muino, David Picado. "A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics." In 2010 40th IEEE International Symposium on Multiple-Valued Logic. IEEE, 2010. http://dx.doi.org/10.1109/ismvl.2010.54.

Full text
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!