Results 11 to 20 of about 705,934 (125)
Revisiting the Adequacy Theorem for Fragments of Łukasiewicz Logic
Bulletin of the Section of LogicA. V. Figallo introduced the 3-valued Super Łukasiewicz logic expanded with the Δ operator, denoted as C3↣,Δ, in 1990. This operator is used in the definition of 3-valued Łukasiewicz algebras, and it is not possible to recover Δ through implication and ...
Miguel Pérez-Gaspar +2 more
doaj +2 more sources
Reconstruction of the Stagirite argument against the fatalism of future events
Мультиверсум: Философский альманах, 2020 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 ...
Ruslan Myronenko
doaj +1 more source
The Infinite-Valued Łukasiewicz Logic and Probability [PDF]
, 2017 The paper concerns the algebraic structure of the set of cumulative distribution functions as well as the relationship between the resulting algebra and the infinite-valued Łukasiewicz algebra.
Janusz Czelakowski, Czelakowski, Janusz
core +2 more sources
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
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
On Neutrosophic Vague Binary BZMZ^dM Sub-algebra of BZMZ^dM-algebra in Neutrosophic Vague Binary Sets [PDF]
Neutrosophic Sets and Systems, 2021 In Model theory, common algebraic structures found are Lattices and Boolean Algebras. In the broad field of research, various algebraic structures can be introduced for a set. BCK, BCI, BCH, BH etc. are some of them.
P. B. Remya, A. Francina Shalini
doaj +1 more source
States in Łukasiewicz logic correspond to probabilities of rational polyhedra [PDF]
, 2012 It will be shown that probabilities of infinite-valued events represented by formulas in Łukasiewicz propositional logic are in one-to-one correspondence with tight probability measures over rational polyhedra in the unit hypercube.
Tomáš Kroupa, Kroupa, Tomáš
core +1 more source
On Metric Temporal Łukasiewicz Logic [PDF]
, 2009 In this paper we present a logical framework to cope with temporal reasoning under vagueness. The calculus is obtained by extending that of bounded metric temporal logic over a dense time domain, by truth-values from the rational unit interval [0,1]∩Q ...
Flaminio, Tommaso, Tiezzi, Elisa B.P.
core +1 more source
Finiteness in infinite-valued Łukasiewicz logic
, 2000 In this paper we deepen Mundici's analysis on reducibility of the decision problem from infinite-valued Łukasiewicz logic L∞ to a suitable m-valued Łukasiewicz logic Lm, where m only depends on the length of the formulas to be proved.
Stefano Aguzzoli, Agata Ciabattoni
core +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