A Single Transistor‐Based Threshold Switch for a Bio‐Inspired Reconfigurable Threshold Logic
Sign Up to like & getrecommendations! Published in 2021 at "Advanced Electronic Materials"
DOI: 10.1002/aelm.202100117
Abstract: In this work, a single transistor‐based threshold switch for a bio‐inspired reconfigurable threshold logic is demonstrated with a metal‐oxide‐semiconductor field‐effect transistor. A threshold logic can mimic biological neurons of brain by use of Boolean entities… read more here.
Keywords: logic; threshold switch; reconfigurable threshold; threshold logic ... See more keywords
Subminimal negation
Sign Up to like & getrecommendations! Published in 2017 at "Soft Computing"
DOI: 10.1007/s00500-016-2391-8
Abstract: Minimal logic, i.e., intuitionistic logic without the ex falso principle, is investigated in its original form with a negation symbol instead of a symbol denoting the contradiction. A Kripke semantics is developed for minimal logic… read more here.
Keywords: logic; intuitionistic logic; minimal logic; negation ... See more keywords
An unconventional Arithmetic Logic Unit design and computing in Actin Quantum Cellular Automata
Sign Up to like & getrecommendations! Published in 2019 at "Microsystem Technologies"
DOI: 10.1007/s00542-019-04590-1
Abstract: An efficient design of basic Arithmetic Logic Unit (ALU), based on Actin based Quantum Cellular Automata (QCA), is presented in this paper. Boolean logic function has been realized by the collisions occur in molecular QCA… read more here.
Keywords: logic unit; cellular automata; logic; quantum cellular ... See more keywords
Evaluating nanomagnetic logic circuit layouts using different clock schemes
Sign Up to like & getrecommendations! Published in 2020 at "Analog Integrated Circuits and Signal Processing"
DOI: 10.1007/s10470-020-01648-3
Abstract: The complementary metal oxide semiconductor technology, CMOS, is reaching its physical limitations, as the transistors’ feature size decreases. A promising alternative is the nanomagnetic logic technology (NML), a paradigm of field-coupled nanocomputing. This technology applies… read more here.
Keywords: evaluating nanomagnetic; layouts using; nanomagnetic logic; circuit layouts ... See more keywords
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Philosophical Logic"
DOI: 10.1007/s10992-018-9484-z
Abstract: Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normal-form theorems. On the basis of these works, Okada and Takemura reformulated Girard’s phase semantics… read more here.
Keywords: semantics proof; logic; phase semantics; semantics ... See more keywords
Intuitionism and the Modal Logic of Vagueness
Sign Up to like & getrecommendations! Published in 2020 at "Journal of Philosophical Logic"
DOI: 10.1007/s10992-019-09507-x
Abstract: Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic… read more here.
Keywords: intuitionistic logic; modal logic; vagueness; logic ... See more keywords
Validities, antivalidities and contingencies: A multi-standard approach
Sign Up to like & getrecommendations! Published in 2022 at "Journal of Philosophical Logic"
DOI: 10.1007/s10992-021-09610-y
Abstract: It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential… read more here.
Keywords: transparent truth; every classical; logic; approach ... See more keywords
Inductive logic programming at 30
Sign Up to like & getrecommendations! Published in 2022 at "Machine Learning"
DOI: 10.1007/s10994-021-06089-1
Abstract: Inductive logic programming (ILP) is a form of logic-based machine learning. The goal is to induce a hypothesis (a logic program) that generalises given training examples and background knowledge. As ILP turns 30, we review… read more here.
Keywords: logic programming; logic; inductive logic;
Design and analysis of a reconfigurable XOR/OR logic gate using 2D photonic crystals with low latency
Sign Up to like & getrecommendations! Published in 2020 at "Optical and Quantum Electronics"
DOI: 10.1007/s11082-020-02550-y
Abstract: Realization of logical gates in the optical domain is a crucial part of current research to take the advantages of light speed in future demands, an example optical computer motherboard. Here, this paper proposed a… read more here.
Keywords: reconfigurable xor; logic; gate using; low latency ... See more keywords
Logic without metaphysics
Sign Up to like & getrecommendations! Published in 2019 at "Synthese"
DOI: 10.1007/s11229-019-02124-w
Abstract: Standard definitions of logical consequence for formal languages are atomistic. They take as their starting point a range of possible assignments of semantic values to the extralogical atomic constituents of the language, each of which… read more here.
Keywords: possible assignments; logical consequence; language; assignments semantic ... See more keywords
Ring-Shaped Plasmonic Logic Gates
Sign Up to like & getrecommendations! Published in 2018 at "Plasmonics"
DOI: 10.1007/s11468-018-0779-2
Abstract: Ring-shaped one-, two-, and three-bit plasmonic logic gate configurations and circuits have been proposed, which, besides being compact, are also versatile and can be easily cascaded, the output logic values being controlled by both the… read more here.
Keywords: logic; shaped plasmonic; geometry; logic gates ... See more keywords