Results 51 to 60 of about 122,807 (96)

On specification logics for algebra-coalgebra structures: reconciling reachability and observability

, 2002
The paper builds on recent results regarding the expressiveness of modal logics for coalgebras in order to introduce a specification framework for coalgebraic structures which offers support for modular specification.
Cirstea, Corina, Corina Cîrstea
core   +1 more source

Fuzzy logical algebras and their applications. [PDF]

ScientificWorldJournal, 2015
Zhan J, Davvaz B, Dudek WA, Jun YB, Kim HS.   +4 more
europepmc   +1 more source

Revisiting Primary Particles in Layered Lithium Transition-Metal Oxides and Their Impact on Structural Degradation. [PDF]

Adv Sci (Weinh), 2019
Lee SY, Park GS, Jung C, Ko DS, Park SY, Kim HG, Hong SH, Zhu Y, Kim M.   +8 more
europepmc   +1 more source

Minimally inconsistent reasoning in Semantic Web. [PDF]

PLoS One, 2017
Zhang X.
europepmc   +1 more source

Classes of int-soft filters in residuated lattices. [PDF]

ScientificWorldJournal, 2014
Jun YB, Ahn SS, Lee KJ.
europepmc   +1 more source

Preface: Non-Classical Logics. Theory and Applications (Part I)

Bulletin of the Section of Logic
Michał Zawidzki
doaj   +1 more source

Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq

, 2022
Frumin D.
europepmc   +1 more source

Vague congruences and quotient lattice implication algebras. [PDF]

ScientificWorldJournal, 2014
Qin X, Liu Y, Xu Y.
europepmc   +1 more source

Preface: Non-Classical Logics. Theory and Applications (Part II)

Bulletin of the Section of Logic
Michał Zawidzki
doaj   +1 more source

On some fuzzy filters in pseudo-BCI algebras. [PDF]

ScientificWorldJournal, 2014
Zhang X.
europepmc   +1 more source