Neutrality and Many-Valued Logics [PDF]
, 2007 In this book, we consider various many-valued logics: standard, linear, hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.
Schumann, Andrew, Smarandache, Florentin
core +2 more sources
Some aspects of an evolvable hardware approach for multiple-valued combinational circuit design [PDF]
, 1998 In this paper a gate-level evolvable hardware technique for designing multiple-valued (MV) combinational circuits is proposed for the first time. In comparison with the decomposition techniques used for synthesis of combinational circuits previously ...
Fogarty, TC, Kalganova, T, Miller, J
core +3 more sources
Elimination of Cuts in First-order Finite-valued Logics [PDF]
, 1993 A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established.
Baaz, Matthias +2 more
core +4 more sources
Genetic algorithm approach to find the best input variable partitioning [PDF]
, 1997 Conference PaperThis paper presents a variable partition algorithm which combines the quasi-reduced ordered multiple-terminal multiple-valued decision diagrams and genetic algorithms (GAs).
Kalganova, T, Strechen, N
core
A New Theory for Multiple Valued Logic Using Convert-Coded-Collect (CCCi) Space
Journal of Engineering and Sustainable Development, 2012 The Multiple-Valued Logic (MVL) is one of the keys to building processors in the future because the use of the MVL in control and uP will reduce the number of instructions that are necessary to solve problems and it increases the parallelism.
Dhafer R. Zaghar
doaj
A Novel Design of Penternary Inverter Gate Based on Carbon Nano Tube [PDF]
Journal of Optoelectronical Nanostructures, 2018 This paper investigates a novel design of penternary logic gates usingcarbon nanotube field effect transistors (CNTFETs). CNTFET is a suitable candidate forreplacing MOSFET with some useful properties, such as the capability of having thedesired ...
Mahdieh Nayeri +2 more
doaj
Analysis of input and output configurations for use in four-valued programmable logic arrays [PDF]
, 1987 This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.Proceedings of ...
Butler, Jon T., Kerkhoff, Hans G.
core
Quantum Meets AI: Pioneering the Future of Intelligent Technology of Multiple-Valued Logic
IEEE AccessThe convergence of quantum computing (QC) and artificial intelligence (AI) represents one of the most cutting-edge developments in the modern technological landscape.
Hafiz Md. Hasan Babu
doaj +1 more source
Discrimination of skyrmion chirality via spin–orbit and –transfer torques for logic operation
Scientific Reports, 2021 Recently many works on magnetic memories and logic circuits, which use a magnetic skyrmion have been reported. Previously we micromagnetically simulated a method to switch a chirality of a magnetic skyrmion formed in a magnetic thin film by introducing a
Yoshinobu Nakatani +2 more
doaj +1 more source
Dual Systems of Sequents and Tableaux for Many-Valued Logics [PDF]
, 1993 The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems.
Baaz, Matthias +2 more
core +3 more sources