Results 61 to 70 of about 64,086 (306)
Bulletin of the Section of LogicA many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj +1 more source
Generalized Modus Tollens with Linguistic Modifiers for Inverse Approximate Reasoning [PDF]
International Journal of Computational Intelligence Systems, 2014 Based on our previous researchs about generalized modus ponens (GMP) with linguistic modifiers for If … Then rules, this paper proposes new generalized modus tollens (GMT) inference rules with linguistic modifiers in linguistic many–valued ...
Le Anh Phuong, Tran Dinh Khang
doaj +1 more source
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source
Journal of Intelligent Systems, 2016 The aim of this article is to develop a representation theory of interval-valued Łukasiewicz–Moisil algebras; the concept of interval fuzzy sets involves the role that the notion of field of sets plays for the representation of Boolean algebras.
Amroune Abdelaziz +2 more
doaj +1 more source
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
Conditions of applicability of classical logic to philosophical reasoning
RUDN Journal of Philosophy, 2018 . The conditions for the applicability of the classical logic of statements to philosophical reasonings are investigated. This research is carried out within the framework of various semantics for many-valued logics.
S A Pavlov
doaj +1 more source
Mutually Exclusive Nuances of Truth in Moisil Logic [PDF]
Scientific Annals of Computer Science, 2015 Moisil logic, having as algebraic counterpart Łukasiewicz-Moisil algebras, provides an alternative way to reason about vague information based on the following principle: a many-valued event is characterized by a family of Boolean events.
D. Diaconescu, I. Leuștean
doaj +1 more source
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Advanced Engineering Materials, EarlyView.Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
Finite-valued approximations of product logic
, 2000 In this paper we shall propose a method for the reduction of the problem of decidability in propositional infinite-valued Product Logic to suitably determined finite-valued approximating logics.
Stefano Aguzzoli +3 more
core +1 more source
Conditionals and Independence in Many-Valued Logics [PDF]
, 2009 Formulas and valuations in boolean logic are a traditional source of examples of "events" and "possible worlds". However, many events of interest in everyday life are more general than yes-no events, as described in boolean logic. Their possible outcomes typically range over a continuous spectrum, which after a suitable normalization can be restricted ...
openaire +2 more sources