Results 11 to 20 of about 19,395 (238)
Logical Determinacy versus Logical Contingency. The Case of Łukasiewicz’s Three-valued Logic
Studia Humana, 2019 In constructing the three-valued logic, Jan Łukasiewicz was highly inspirited by the Aristotelian idea of logical contingency. Nevertheless, we can construct a four-valued logic for explicating the Stoic idea of logical determinacy.
Schumann Andrew
doaj +2 more sources
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version) [PDF]
CADE, 2021 The material presented in this paper contributes to establishing a basis deemed essential for substantial progress in Automated Deduction. It identifies and studies global features in selected problems and their proofs which offer the potential of ...
C. Wernhard, W. Bibel
semanticscholar +1 more source
Combustion Engines, 2022 In the paper short information about advantages of introduction of detonation combustion to propulsion systems is briefly discussed and then research conducted at the Łukasiewicz-Institute of Aviation on development of the rotating detonation engines ...
M. Kawalec +4 more
semanticscholar +1 more source
Lukasiewicz Fuzzy BE-algebras and BE-filters
European Journal of Pure and Applied Mathematics, 2022 By applying the concept of Lukasiewicz fuzzy set to BE-algebras, the notions of Lukasiewicz fuzzy BE-algebra and Lukasiewicz fuzzy BE-filter are introduced, and their properties are investigated.
Y. Jun, S. Ahn
semanticscholar +1 more source
Łukasiewicz logics for cooperative games
Artificial Intelligence, 2019 Enrico Marchioni, Michael Wooldridge
openalex +2 more sources
Comparative Semantics of Fuzzy Argumentation under the Łukasiewicz t-Norm
Engineering, 2022 Dung’s theory of argumentation frameworks (AF) has been applied in many fields of artificial intelligence. The arguments and attack relation are generally partly believed due to the uncertainty in the process of mining them.
Shuangyan Zhao
semanticscholar +1 more source
Sieć Badawcza Łukasiewicz wobec Zintegrowanego Systemu Kwalifikacji – elementy diagnozy [PDF]
Edukacja Ustawiczna Dorosłych, 2021 The article presents selected results of the research on the participation of the Łukasiewicz Research Network institutes in the use of resources and development of the Integrated Qualifications System (IQS) in Poland, in accordance with the statutory ...
Krzysztof Franciszek Symela +1 more
doaj +1 more source
Dynamic Łukasiewicz logic and its application to immune system
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2021 It is introduced an immune dynamic n-valued Łukasiewicz logic IDŁn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{
A. di Nola +3 more
semanticscholar +1 more source
Mutually Exclusive Nuances of Truth in Moisil Logic [PDF]
Scientific Annals of Computer Science, 2015 Moisil logic, having as algebraic counterpart Łukasiewicz-Moisil algebras, provides an alternative way to reason about vague information based on the following principle: a many-valued event is characterized by a family of Boolean events.
D. Diaconescu, I. Leuștean
doaj +1 more source
Logic and Logical Philosophy, 2021 The logic BN4 was defined by R.T. Brady as a four-valued extension of Routley and Meyer’s basic logic B. The system EF4 is defined as a companion to BN4 to represent the four-valued system of (relevant) implication.
J. Blanco
semanticscholar +1 more source