Results 1 to 10 of about 771,186 (237)
Ternary Łukasiewicz logic using memristive devices [PDF]
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 +3 more sources
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 +2 more sources
Quantum Uncertainties and Holism Seem to Render Irrelevant Qudit-Semantics [PDF]
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 +2 more sources
Ternary Logic with Stateful Neural Networks Using a Bilayered TaOX‐Based Memristor Exhibiting Ternary States [PDF]
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 +2 more sources
Epistemic Łukasiewicz logic of partial knowledge [PDF]
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2022 We offer a new logic, called Epistemic Łukasiewicz logic of partial knowledge that is represented as multimodal epistemic Łukasiewicz logic KŁP(n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage ...
A. Nola, R. Grigolia, Gaetano Vitale
semanticscholar +2 more sources
Implicit definability of truth constants in Łukasiewicz logic [PDF]
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2018 In the framework of propositional Łukasiewicz logic, a suitable notion of implicit definability, tailored to the intended real-valued semantics and referring to the elements of its domain, is introduced.
Z. Haniková
semanticscholar +3 more sources
New complexity results for Łukasiewicz logic
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2018 One aspect that has been poorly studied in multiple-valued logics, and in particular in Łukasiewicz logic, is the generation of instances of varying difficulty for evaluating, comparing and improving satisfiability solvers.
Miquel Bofill +3 more
semanticscholar +3 more sources
Comparing several calculi for first-order infinite-valued Łukasiewicz logic [PDF]
Logic and Logical Philosophy, 2018 We consider first-order infinite-valued Łukasiewicz logic and its expansion, first-order rational Pavelka logic RPL∀. From the viewpoint of provability, we compare several Gentzen-type hypersequent calculi for these logics with each other and with Hájek ...
A. S. Gerasimov
semanticscholar +3 more sources
Quantitative Method Based on Cotangent Similarity Degree in Three‐Valued Łukasiewicz Logic [PDF]
, 2021 Yu Peng
semanticscholar +2 more sources
Data integration by fuzzy similarity-based hierarchical clustering [PDF]
BMC Bioinformatics, 2020 Background High throughput methods, in biological and biomedical fields, acquire a large number of molecular parameters or omics data by a single experiment.
Angelo Ciaramella +2 more
doaj +2 more sources