Results 31 to 40 of about 385,766 (333)

Paracomplete logics which are dual to the paraconsistent logics L3A and L3B [PDF]

, 2020
In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ).
Borja-Macı́as, Verónica, E. Coniglio, Marcelo, Hernández-Tello, Alejandro   +2 more
core   +1 more source

Matrix- based logic for avoiding paradoxes and its paraconsistent alternative

Manuscrito, 2011
The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974).
Paul Weingartner
doaj   +1 more source

A Decentralized Semantic Reasoning Approach for the Detection and Representation of Continuous Spatial Dynamic Phenomena in Wireless Sensor Networks

ISPRS International Journal of Geo-Information, 2021
In this paper, we propose a decentralized semantic reasoning approach for modeling vague spatial objects from sensor network data describing vague shape phenomena, such as forest fire, air pollution, traffic noise, etc.
Roger Cesarié Ntankouo Njila, Mir Abolfazl Mostafavi, Jean Brodeur   +2 more
doaj   +1 more source

Pentapartitioned Neutrosophic Fuzzy Optimization Method for Multi-objective Reliability Optimization Problem [PDF]

Neutrosophic Sets and Systems, 2023
Fuzzy logic is an important mathematical tool that deals with uncertainty and imprecision in decision-making processes. The prevalent frameworks, known as neutrosophic sets, study the connection of neutralities with various ideational spectra in addition
Swarup Jana, Sahidul Islam
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

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

Probability, fuzziness and borderline cases [PDF]

, 2014
An integrated approach to truth-gaps and epistemic uncertainty is described, based on probability distributions defined over a set of three-valued truth models.
Lawry, Jonathan
core   +2 more sources

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

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