Results 1 to 10 of about 344 (214)
Efficient loop-check for multimodal KD45n logic
Lietuvos Matematikos Rinkinys, 2021 We introduce sequent calculus for multi-modal logic KD45n which uses efficient loop-check. Efficiency of the used loop-check is obtained by using marked modal operator squarei which is used as an alternative to sequent with histories ([2,3]).We use ...
Adomas Birštunas
doaj +2 more sources
Fluorescence-Based Multimodal DNA Logic Gates
NanomaterialsThe use of DNA structures in creating multimodal logic gates bears high potential for building molecular devices and computation systems. However, due to the complex designs or complicated working principles, the implementation of DNA logic gates within ...
Chamika Harshani Algama +3 more
doaj +3 more sources
Multimodal Fusion: A Review, Taxonomy, Open Challenges, Research Roadmap and Future Directions [PDF]
Neutrosophic Sets and Systems, 2021 The present work collects a plethora of previous research work in the field of multimodal fusion which despite a lot of research could not handle the imperfections.
Mohd Anas Wajid, Aasim Zafar
doaj +1 more source
Omitting Types in Fragments and Extensions of First Order Logic
Bulletin of the Section of Logic, 2021 Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for infinitary variants and extensions ...
Tarek Sayed Ahmed
doaj +1 more source
Cut elimination for knowledge logic with interaction
Lietuvos Matematikos Rinkinys, 2021 In the article the multimodal logic Tn with central agent interaction axiom is analysed. The Hilbert type calculi is presented, then Gentzen type calculi with cut is derived and the proof of cutelimination theorem is outlined.
Julius Andrikonis +1 more
doaj +1 more source
Informal Logic, 2022 Michael Gilbert’s multi-modal theory of argument challenges earlier accounts of arguing assumed in formal and informal logic. His account of emotional, visceral, and kisceral modes of arguing rejects the assumption that all arguments must be treated as ...
Leo Groarke
doaj +1 more source
A linear logic framework for multimodal logics
Mathematical Structures in Computer Science, 2022 AbstractOne of the most fundamental properties of a proof system is analyticity, expressing the fact that a proof of a given formula F only uses subformulas of F. In sequent calculus, this property is usually proved by showing that the $\mathsf{cut}$ rule is admissible, i.e., the introduction of the auxiliary lemma H in the reasoning “if H follows ...
Xavier, Bruno +2 more
openaire +4 more sources
SICE Journal of Control, Measurement, and System Integration, 2023 Our study introduces a novel approach that combined probabilistic logic and multimodal spatial concepts to enable a robot to efficiently acquire place–object relationships in a new home environment with few learning iterations.
Shoichi Hasegawa +4 more
doaj +1 more source
Interpreting Reo Circuits as PDL models
O Que Nos Faz Pensar, 2022 Reo is a coordination-based language with the proposal of connecting different systems and interfaces. It aims to develop communication between different systems with a high level of abstraction and without many restrictions.
Erick Grilo +2 more
doaj +1 more source
Multimodal Sarcasm Detection via Hybrid Classifier with Optimistic Logic
Journal of Telecommunications and Information Technology, 2022 This work aims to provide a novel multimodal sarcasm detection model that includes four stages: pre-processing, feature extraction, feature level fusion, and classification.
Dnyaneshwar Madhukar Bavkar +2 more
doaj +1 more source