Results 51 to 60 of about 11,095,469 (278)
Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency [PDF]
, 2021 In this paper, we study intermediate logics between the logic $\mathrm{G}_{\sim}^{\leq}$, the degree-preserving companion of Gödel fuzzy logic with involution $\mathrm{G}_{\sim}$, and classical propositional logic CPL, as well as the intermediate logics ...
Godo i Lacasa, Lluís +7 more
core +1 more source
Modal Logics are Coalgebraic [PDF]
, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Pattinson, Dirk +4 more
core +2 more sources
Solutions to Open Problems on Fuzzy Filters of -algebras [PDF]
International Journal of Computational Intelligence Systems, 2015 This paper focuses on the investigation of fuzzy filters of -algebras, an important and popular generic logical algebra. By studying the equivalent conditions of fuzzy fantastic filter and fuzzy normal filter of -algebras, the relation between these two ...
Wang Wei, Arsham Borumand Saeid
doaj +1 more source
Advanced Engineering Materials, EarlyView.The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling +15 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
Supporting AI Readiness Through Digital Workflows in Materials Science
Advanced Engineering Materials, EarlyView.Digitalization drives innovation in materials science by connecting data silos and turning heterogeneous processes into reusable research pipelines. Across 13 MaterialDigital projects, digital workflows reveal complementary pathways toward AI‐ready materials research, founded on structured data, persistent artifacts, executable orchestration, and ...
Marian Bruns +67 more
wiley +1 more source
Second-order Reasoning in Description Logics
, 2006 Description logics refer to a family of formalisms concentrated around concepts, roles and individuals. They belong to the most frequently used knowledge representation formalisms and provide a logical basis to a variety of well known paradigms. The main
Szalas, Andrzej,
core +1 more source
Termination of derivations for minimal tense logic
Lietuvos Matematikos Rinkinys, 2009 It is known that loop checking and backtracking are extensively used in various non-classical logics. An efficient loop checking is obtained using a technique based on histories.
Regimantas Pliuškevičius
doaj +1 more source
Constructive canonicity in non-classical logics
Annals of Pure and Applied Logic, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Silvio Ghilardi, Giancarlo Meloni
openaire +1 more source
Historical Foundation and Practical Guideline for Ferroelectric Switching Kinetic Studies
Advanced Functional Materials, EarlyView.The P and U pulses in the conventional PUND measurements are not identical because of the interplay between switching current and the measurement circuit components. This circuit effect can lead to a shift in polarization transients and misinterpreted physics in the switching kinetics.
Yi Liang, Pat Kezer, John T. Heron
wiley +1 more source