Results 31 to 40 of about 375,050 (296)

Ternary Logic with Stateful Neural Networks Using a Bilayered TaOX‐Based Memristor Exhibiting Ternary States

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, Jangho An, Jae Bum Jeon, Myeong Won Son, Seoil Son, Woojoon Park, Younghyun Lee, Juseong Park, Geun Young Kim, Gwangmin Kim, Hanchan Song, Kyung Min Kim   +11 more
doaj   +1 more source

Modelling of AGM-style doxastic operations in three-valued setting

CTE Workshop Proceedings, 2023
The goal of our work is to show how a theoretical approach to modeling of reasoning can be analyzed to identify controversial issues that reveal prospects for further research.
Nadiia P. Kozachenko
doaj   +1 more source

A three-valued semantics for logic programmers [PDF]

Theory and Practice of Logic Programming, 2006
This paper describes a simpler way for programmers to reason about the correctness of their code. The study of semantics of logic programs has shown strong links between the model theoretic semantics (truth and falsity of atoms in the programmer's interpretation of a program), procedural semantics (for example, SLD resolution) and fixpoint semantics ...
openaire   +3 more sources

A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics [PDF]

, 2010
An approach to the revision of logic programs under the answer set semantics is presented. For programs P and Q, the goal is to determine the answer sets that correspond to the revision of P by Q, denoted P * Q. A fundamental principle of classical (AGM)
Delgrande, James P.
core   +1 more source

Conditional Logic as a Short-Circuit Logic

Scientific Annals of Computer Science
Three-valued conditional logic (CL), defined by Guzmán and Squier (1990) and based on McCarthy’s noncommutative connectives, axiomatises a short-circuit logic (SCL), that is, a logic that prescribes short- circuit evaluation of conjunction and ...
Jan A. Bergstra, Alban Ponse
doaj   +1 more source

Chinese Research on Mathematical Logic and the Foundations of Mathematics

Asian Studies, 2022
This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated ...
Hongguang Wang, Guoping Du
doaj   +1 more source

Introduction to Topological Indices in Neutrosophic Graphs [PDF]

Neutrosophic Sets and Systems, 2020
Neutrosophic Graphs are graphs that follow three-valued logic. They may be considered a fuzzy graph, although in some cases, it is difficult to optimize and model them using fuzzy graphs. In this paper, the first and second Zagreb indices, the Harmonic
Masoud Ghods, Zahra Rostami
doaj   +1 more source

Rasiowa–Sikorski deduction systems in computer science applications [PDF]

, 2002
A Rasiowa-Sikorski system is a sequence-type formalization of logics. The system uses invertible decomposition rules which decompose a formula into sequences of simpler formulae whose validity is equivalent to validity of the original formula.
A Greinacher, A Markel Vaysman, AY Lee, B Cosmi, C Becattini, C Becattini, C Jerjes-Sanchez, C Kearon, C Kearon, C Kearon, CS Joels, DJ Quinlan, DW Barritt, E Pretorius, F Couturaud, FJ van der Meer, G Agnelli, G Agnelli, G Bourjeily, G Meyer, G Palareti, G Palareti, G Thabut, GW Albers, Harry R. Büller, Harry R. Büller, HK Chew, HM Otten, HR Büller, HR Büller, IA Campbell, J Hirsh, JA Heit, JF Mission, JI Weitz, Josien van Es, JW Eikelboom, K Mobin-Uddin, L Pinede, M Kostrubiec, M Ten Wolde, MA Rodger, MJ Agterof, N Kucher, N Kucher, N Kucher, N Vuilleumier, NS Gibson, O Sanchez, P Kelly, P Pavek, P Prandoni, P Savi, PD Stein, Pieter W. Kamphuisen, PR Cordts, PW Kamphuisen, R Obermaier, R Otero, RA Douma, RD Hull, Renée A. Douma, Renée A. Douma, RH White, RW van der Meer, S Eichinger, S Grifoni, S Ingber, S Konstantinides, S Konstantinides, S Schulman, S Schulman, S Schulman, S Wan, S Wan, SM Bates, SM Hoy, SZ Goldhaber, SZ Goldhaber, T Baglin, TE Warkentin, TE Warkentin, TE Warkentin, Victor E. A. Gerdes, W Kasper, W Lim, WJ Morshuis   +86 more
core   +1 more source

Logical Ideas of Jan Łukasiewicz

Studia Humana, 2019
This paper discusses the main logical ideas put forward by Jan Łukasiewicz within their historical context and further development.
Woleński Jan
doaj   +1 more source

TWO-VALUED WEAK KLEENE LOGICS

Manuscrito, 2019
In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion.
BRUNO DA RÉ, DAMIAN SZMUC
doaj   +1 more source