Results 301 to 310 of about 385,766 (333)
Some of the next articles are maybe not open access.
A family of three-valued autoepistemic logics
1991A unifying semantic framework for 2 and 3-valued autoepistemic logics is introduced. For instance, the logics introduced in [8] and [2] belong to this framework. All the logics that derive from the framework enjoy the usual stability properties of autoepistemic logics.
openaire +2 more sources
Generalized Correspondence Analysis for Three-Valued Logics
Logica Universalis, 2018This paper extends the correspondence analysis of \textit{B. Kooi} and \textit{A. Tamminga} [Rev. Symb. Log. 5, No. 4, 720--730 (2012; Zbl 1270.03045)] to a larger class of three-valued logics. It generalizes the results from the author and \textit{V. Shangin} [Rev. Symb. Log. 10, No. 4, 756--781 (2017; Zbl 1387.03009)], and from the author [Log.
openaire +2 more sources
The C*-Algebras of Three-Valued Logic
1989Summary We show that Grothendieck's functor K o maps 3-subhomogeneous AF C * -algebras with Hausdorff structure space one-one onto countable Lindenbaum algebras of 3-valued logic. Whereas in the interpretation of Birkhoff and von Neumann propositions arc identified with projections and form an uncountable nondistributive lattice, in our ...
openaire +2 more sources
Logic-in-memory based on an atomically thin semiconductor
Nature, 2020Guilherme Migliato Marega +2 more
exaly
Gallium nitride-based complementary logic integrated circuits
Nature Electronics, 2021Zheyang Zheng, Li Zhang, Han Xu
exaly
Logic gates based on neuristors made from two-dimensional materials
Nature Electronics, 2021Chunsen liu, Jianlu Wang, Weida Hu
exaly