Results 41 to 50 of about 716,706 (268)

Fixpointed Idempotent Uninorm (Based) Logics

Mathematics, 2019
Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not.
Eunsuk Yang
doaj   +1 more source

Intrinsic Dual‐Phase Regulated GeSe2 Nanoparticles Triggered by Ball‐Milling Treatment for Photonic Multi‐Valued Logic Circuits

Advanced Science, EarlyView.
We report the solid‐state ball milling, a traditional, reliable, mass‐productive material processing, to prepare the air‐stable and dual‐phase GeSe2‐x nanoparticles with extended photodetection feasibility toward optical‐wavelength regions. We further display photonic multi‐valued logic (MVL) circuit through the employment of a hybrid PMMA/GeSe2‐x ...
An‐Ting Tsai, Chun‐Jen Wang, Pin‐Chao Liao, Chin Shan Lue, Chia‐Nung Kuo, Le Vo Phuong Thuan, Po‐Hsuan Hsiao, Chang‐Hyun Kim, Chia‐Yun Chen   +8 more
wiley   +1 more source

A characterization of adjunction in a many-valued modal system

CQD Revista Eletrônica Paulista de Matemática
Galois connections are pairs of functions, defined over ordered sets, that preserve some particular aspects. They are studied in the context of algebraic structures.
Hércules de Araújo Feitosa, Romulo Albano de Freitas   +1 more
doaj   +1 more source

Electroforming‐Free, Self‐Rectifying Selector‐Only Memory With Diffusive Cu‐Ion Dynamics for Logic‐In‐Memory Computing

Advanced Science, EarlyView.
Electroforming‐free, self‐rectifying switching with polarity‐dependent threshold modulation is realized in selector‐only memory through Cu‐ion migration in a bilayer stacked dual functional materials. Ultrafast rupturing of Cu filament enables drift‐free operation with high stability.
Jae‐Kyeong Kim, Dae‐Seong Woo, Min‐Jong Han, Hong‐Gwang Seo, Gwang‐Ho Park, In‐Taek Woo, Jea‐Gun Park, Jinsub Park   +7 more
wiley   +1 more source

Matrix Semantics for Classical Logic: The Case of the Lattice O6

Bulletin of the Section of Logic
It is well established that classical propositional logic is Boolean. However, this view has recently been challenged. In their paper Non-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum ...
Ela Drozdowska
doaj   +1 more source

On GE-algebras

Bulletin of the Section of Logic, 2021
Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra (generalized exchange algebra), is introduced ...
Ravikumar Bandaru, Arsham Borumand Saeid, Young Bae Jun   +2 more
doaj   +1 more source

On the logic of continuous algebras.

Notre Dame Journal of Formal Logic, 1988
The paper is concerned with the logic of inequalities appropriate for continuous algebras. Deduction rules are given for separately Z- continuous algebras and also for Z-continuous algebras. The main content of the paper is the investigation of the completeness theorems for these deduction rules, i.e., the theorems stating that an inequality is ...
Adámek, Jiří, Mekler, Alan H., Nelson, Evelyn, Reiterman, Jan   +3 more
openaire   +2 more sources

Synchronization of Analog Neuron Circuits With Digital Memristive Synapses: An Hybrid Approach

Advanced Electronic Materials, EarlyView.
An hybrid circuit mimicking neural units coupled using memristive synapses is introduced. The analog neurons provide flexibility and robustness, and the digital memristive coupling guarantees the full reconfigurability of the interconnection. The onset of a synchronized spiking behavior in two circuits mimicking the Izhikevich neuron is discussed from ...
Lamberto Carnazza, Francesco Maria Esposito, Carlo Famoso, Arturo Buscarino   +3 more
wiley   +1 more source

Logic TK: Algebraic Notions from Tarski’s Consequence Operator

Principia: An International Journal of Epistemology, 2010
Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator.
Hércules A. Feitosa, Mauri C. do Nascimento, Maria Claudia C. Grácio   +2 more
doaj   +3 more sources

Algebraizations of Propositional Logic and Monadic Logic

Indian Journal of Advanced Mathematics, 2022
In this paper, we introduce the language systems of propositional logic (LSPL), which involves no variables, and monadic predicate logic (LSMPL), which consists of predicates applied to single variables. We review the validity and dedication related to (LSPL) and (LSMPL) with their properties.
openaire   +2 more sources