Results 21 to 30 of about 1,785,243 (284)

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, Juan R. Castro, Violeta Ocegueda-Miramontes, Leticia Cervantes   +3 more
doaj   +1 more source

Generalized arrow update logic

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, 2011
This paper presents a logic for reasoning about information change in multi-agent settings based on epistemic arrow deletion in Kripke models.
Kooi, Barteld, Renne, Bryan
openaire   +2 more sources

The Logic of Quantum Mechanics Derived from Classical General Relativity [PDF]

, 1997
For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general relativity. A
Hadley, Mark J.
core   +3 more sources

Automated Synthesis of Tableau Calculi [PDF]

, 2011
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method
B. Motik, R. Shearer, and I. Horrocks, Dmitry Tishkovsky, F. Baader and U. Sattler, F. Massacci, I. Horrocks and U. Sattler, L. Fariñas del Cerro and O. Gasquet, M. A. Castilho, L. Fariñas del Cerro, O., M. Cialdea Mayer and S. Cerrito, M. D'Agostino and M. Mondadori, Martin Giese, P. Balbiani, H. P. van Ditmarsch, A. Her, Renate Schmidt, T. Bolander and P. Blackburn   +12 more
core   +1 more source

Peculiarities of Kant’s Interpretation of the Term ‘Consequence’

Кантовский сборник
Modern formal logic, which is based on Kant’s logical project, interprets logical consequence as formal, which leads to substantive paradoxes that combine any thoughts at all and so to the loss of consequence as such. Beginning with A.
Anastasia V. Petrovskaya
doaj   +1 more source

Temperature-Dependent Logic Behavior of Logic Transistors Based on WS₂

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, Xiaozhang Chen, Zhenhan Zhang, Huawei Chen, Jiayi Li, Chunsen Liu, Peng Zhou   +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

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, C. J. Olson Reichhardt, C. Reichhardt, C. P. Poole, L. Van Look, M. B. Hastings, V. Metlushko   +6 more
core   +1 more source

La logique est-elle une science de classification ? Sur une crise de la classification dans la logique au xixe siècle

Cahiers François Viète, 2016
Usually, classification is said to belong to the study of logic. On what grounds? One might answer in assuming that logic essentially operates on classes, and that as such it is the general science of classifications.
Jean-Marie Chevalier
doaj   +1 more source

Generalized Quantifiers in Dependence Logic [PDF]

Journal of Logic, Language and Information, 2012
22 ...
openaire   +2 more sources