Results 1 to 10 of about 72 (68)
Forensic Dynamic Lukasiewicz Logic [PDF]
Transactions on Fuzzy Sets and Systems, 2022 A forensic dynamic $n$-valued Lukasiewicz logic $FDL_n$ is introduced on the base of $n$-valued Lukasiewicz logic $L_n$ and corresponding to it forensic dynamic $MV_n$-algebra ($FDL_n$-algebra), $1 < n < \omega$, which are algebraic counterparts of ...
Antonio Di Nola, Revaz Grigolia
doaj +1 more source
Studying Aristotelian Syllogism according to Implicative and Conductive Accounts [PDF]
Journal of Philosophical Investigations, 2023 Aristotelian Logic, the oldest system of reasoning, has always been come into focus. The Syllogism as the focal issue amid Aristotle’s logic has caused many controversial discussions.
Hamideh Bahmanpour +2 more
doaj +1 more source
Electronic Proceedings in Theoretical Computer Science, 2013 The paper explores properties of Łukasiewicz mu-calculus, a version of the quantitative/probabilistic modal mu-calculus containing both weak and strong conjunctions and disjunctions from Łukasiewicz (fuzzy) logic. We show that this logic encodes the well-
Matteo Mio, Alex Simpson
doaj +1 more source
Quantum Uncertainties and Holism Seem to Render Irrelevant Qudit-Semantics
Entropy, 2021 We consider a semantics based on the peculiar holistic features of the quantum formalism. Any formula of the language gives rise to a quantum circuit that transforms the density operator associated to the formula into the density operator associated to ...
Roberto Leporini
doaj +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
The Conception of Logic in the Cracow Circle: Salamucha, Drewnowski, Bocheński
Studia Philosophiae Christianae, 2021 The aim of this paper is to present and analyse the views on logic of the members of the so-called Cracow Circle, namely the Dominican Father Józef (Innocenty) M. Bocheński, Rev. Jan Salamucha, and Jan Franciszek Drewnowski.
Roman Murawski
doaj +1 more source
Ternary Łukasiewicz logic using memristive devices
Neuromorphic Computing and Engineering, 2023 Memristive devices based on the Valence Change Mechanism (VCM) are promising devices for storage class memory, neuromorphic computing and logic-in-memory (LIM) applications.
Christopher Bengel +7 more
doaj +1 more source
Advanced Science, 2022 A memristive stateful neural network allowing complete Boolean in‐memory computing attracts high interest in future electronics. Various Boolean logic gates and functions demonstrated so far confirm their practical potential as an emerging computing ...
Young Seok Kim +11 more
doaj +1 more source
On Jan Łukasiewicz’s many-valued logic and his criticism of determinism
Philosophia Scientiæ, 2011 The article deals with Jan Łukasiewicz’s thesis that the truth or falsity of some propositions about the future—future contingents—entails determinism.
Dariusz Łukasiewicz
doaj +1 more source
Jan Łukasiewicz contre le dictum de omni et de nullo
Philosophia Scientiæ, 2011 This paper explores the reasons why Łukasiewicz in his explanation of Aristotelian syllogistic does not accept the dictum de omni et de nullo as an axiom.
Michel Bastit
doaj +1 more source