Results 261 to 270 of about 129,892 (308)

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning [PDF]

open access: closed, 2004
In this work we develop a logic for formalizing qualitative reasoning. This type of reasoning is generally used, for instance, when one has a lot of data from a real world example but the complexity of the numerical model suggests a qualitative (instead of quantitative) approach.
Manuel Ojeda-Aciego, Alfredo Burrieza
openaire   +2 more sources

A multimodal logic for closeness

Journal of Applied Non-Classical Logics, 2017
AbstractWe introduce a multimodal logic for order of magnitude reasoning which considers a new logic-based alternative to the notion of closeness, we provide an axiom system and prove its soundness and completeness.
A. Burrieza   +2 more
openaire   +2 more sources

ON DEFINABILITY IN MULTIMODAL LOGIC

The Review of Symbolic Logic, 2009
Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and implicit definability introduced by Beth in the context of first- order logic. However, while by Beth's theorem the two types of definability are equivalent for first- order logic, such an equivalence does not hold for ...
Dov Samet, Ella Segev, Joseph Y. Halpern
openaire   +2 more sources

Multimode quantum optical logic

Conference on Coherence and Quantum Optics, 2007
We embed qubits within simple two-mode states and effect a Fredkin gate by a resonant multi-photon interaction with an atom.
Barry M. Garraway, Mark S. Everitt
openaire   +2 more sources

Special Issue on Multimodal Logics: A Preface

Logica Universalis, 2012
It is a fact that investigations of multimodality are currently an advanced area of inquiry within the immense field of intensional logic. A remarkable aspect of this growth is that important branches of modal logic have been shown to be reconstructable as branches of multimodal logic.
Walter Carnielli, Claudio Pizzi
openaire   +2 more sources

Multimode excitations for complex multifunctional logic device [PDF]

open access: possibleJournal of Micromechanics and Microengineering, 2019
The simplicity and prospect of energy efficiency of MEMS resonator-based computing devices have captivated considerable research interest in recent years. Hence, they are being explored for ultra-low power computing machines, which are currently needed for internet-of-things (IoT) applications.
S A Tella, M I Younis
openaire   +2 more sources

A multimodal logic for reasoning about complementarity

Journal of Applied Non-Classical Logics, 2000
ABSTRACT Two objects o1, o2 of an information system are said to be complementary with respect to attribute a if α(o1) = -α(o2), where α(o) is the set of values of attribute a assigned to o. They are said to be complementary with respect to a set of attributes A if they are complementary with respect to each attribute α e A.
Ivo Düntsch, Beata Konikowska
openaire   +2 more sources

Interval Type-2 Fuzzy Logic for Semisupervised Multimodal Hashing

IEEE Transactions on Cybernetics, 2021
Retrieving nearest neighbors across correlated data in multiple modalities, such as image-text pairs on Facebook and video-tag pairs on YouTube, has become a challenging task due to the huge amount of data. Multimodal hashing methods that embed data into binary codes can boost the retrieving speed and reduce storage requirements.
Dayong Tian   +3 more
openaire   +3 more sources

Multimodal and intuitionistic logics in simple type theory

Logic Journal of IGPL, 2010
We study straightforward embeddings of propositional normal multimodal logic and propositional intuitionistic logic in simple type theory. The correctness of these embeddings is easily shown. We give examples to demonstrate that these embeddings provide an effective framework for computational investigations of various non-classical logics.
Christoph Benzmueller   +1 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy