Results 31 to 40 of about 8,631,344 (363)
Sequent calculus for logic of correlated knowledge
Lietuvos Matematikos Rinkinys, 2011 Sound and complete sequent calculi for general epistemic logic and logic of correlated knowledge are presented in this paper.
Haroldas Giedra +1 more
doaj +1 more source
Stability of Stochastic Delay Differential Systems With Variable Impulses Due to Logic Choice
IEEE Access, 2021 This paper is concerned with stability problems of stochastic delay differential systems with variable impulses due to logic choice. Firstly, a class of variable impulses due to logic choice is introduced in this paper which is more general than the ...
Chunxiang Li
doaj +1 more source
Hybrid Learning for General Type-2 TSK Fuzzy Logic Systems
Algorithms, 2017 This work is focused on creating fuzzy granular classification models based on general type-2 fuzzy logic systems when consequents are represented by interval type-2 TSK linear functions. Due to the complexity of general type-2 TSK fuzzy logic systems, a
Mauricio A. Sanchez +3 more
doaj +1 more source
Temperature-Dependent Logic Behavior of Logic Transistors Based on WS2
IEEE Access, 2020 With the advantages of two-dimensional (2D) materials, the small footprint logic transistor architecture can realize the primary logic function (OR and AND) in a single cell.
Yan Xiong +6 more
doaj +1 more source
Logic as a Puzzle-Solving Activity
Análisis Filosófico, 2021 Some authors have recently argued in favor of anti-exceptionalism about logic. The general idea is that logic is not different from the other sciences, and its principles are as revisable as scientific principles. This paper has three sections.
Diego Tajer
doaj +1 more source
Harnessing Deep Neural Networks with Logic Rules [PDF]
Annual Meeting of the Association for Computational Linguistics, 2016 Combining deep neural networks with structured logic rules is desirable to harness flexibility and reduce uninterpretability of the neural models. We propose a general framework capable of enhancing various types of neural networks (e.g., CNNs and RNNs ...
Zhiting Hu +4 more
semanticscholar +1 more source
Randomisation and Derandomisation in Descriptive Complexity Theory [PDF]
, 2010 We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP ...
A. Dawar +27 more
core +2 more sources
Dependence logic with generalized quantifiers: Axiomatizations [PDF]
Journal of Computer and System Sciences, 2013 We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as "there exists uncountable many." Both of the ...
Juha Kontinen +3 more
openaire +9 more sources
Ratchet Cellular Automata [PDF]
, 2002 In this work we propose a ratchet effect which provides a general means of performing clocked logic operations on discrete particles, such as single electrons or vortices. The states are propagated through the device by the use of an applied AC drive. We
C. Buzea +6 more
core +1 more source
Generalized quantification as substructural logic [PDF]
Journal of Symbolic Logic, 1996 AbstractWe show how sequent calculi for some generalized quantifiers can be obtained by generalizing the Herbrand approach to ordinary first order proof theory. Typical of the Herbrand approach, as compared to plain sequent calculus, is increased control over relations of dependence between variables.
Alechina, N.A., van Lambalgen, M.
openaire +3 more sources