Results 41 to 50 of about 771,186 (237)
Journal of Intelligent Systems, 2016 The aim of this article is to develop a representation theory of interval-valued Łukasiewicz–Moisil algebras; the concept of interval fuzzy sets involves the role that the notion of field of sets plays for the representation of Boolean algebras.
Amroune Abdelaziz +2 more
doaj +1 more source
Propositional dynamic logic for searching games with errors [PDF]
, 2014 We investigate some finitely-valued generalizations of propositional dynamic logic with tests. We start by introducing the (n+1)-valued Kripke models and a corresponding language based on a modal extension of {\L}ukasiewicz many-valued logic.
Teheux, Bruno
core +2 more sources
Introduction. The School: Its Genesis, Development and Significance [PDF]
, 2018 The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School – a most unique Polish school of worldwide renown, which pioneered trends combining philosophy, logic, mathematics and language.
Wybraniec-Skardowska, U.
core +2 more sources
Strong Tolerance and Strong Universality of Interval Eigenvectors in a Max-Łukasiewicz Algebra
Mathematics, 2020 The Łukasiewicz conjunction (sometimes also considered to be a logic of absolute comparison), which is used in multivalued logic and in fuzzy set theory, is one of the most important t-norms.
Martin Gavalec +2 more
doaj +1 more source
Absoluteness of Truth and the Lvov–Warsaw School (Twardowski, Kotarbiński, Leśniewski, Łukasiewicz, Tarski, Kokoszyńska) [PDF]
, 2016 According to Twardowski, truth is if it is independent of temporal coordinates. This understanding was one of the main arguments against truth-relativism. Kotarbiński rejected this view as far the issue concerns sentences about the future, but he did not
Woleński, Jan
core +1 more source
The Calculus of Names—The Legacy of Jan Łukasiewicz
AxiomsWith his research on Aristotle’s syllogistic, Jan Łukasiewicz initiates the branch of logic known as the calculus of names. This field deals with axiomatic systems that analyse various fragments of the logic of names, i.e., that branch of logic that ...
Andrzej Pietruszczak
doaj +1 more source
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 +1 more source
Games for the Strategic Influence of Expectations
, 2014 We introduce a new class of games where each player's aim is to randomise her strategic choices in order to affect the other players' expectations aside from her own.
Godo, Lluís, Marchioni, Enrico
core +2 more sources
International Journal of Computational Intelligence Systems, 2017 Histograms are an intuitively understandable tool for graphically presenting frequency data that is available for and useful in modern data-analysis, this also makes comparing histograms an interesting field of research.
Pasi Luukka, Mikael Collan
doaj +1 more source
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
International Journal of Computational Intelligence Systems, 2020 This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal operators,
Paolo Baldi +2 more
doaj +1 more source