Results 81 to 90 of about 816,807 (142)

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

Chromatic Quantum Contextuality. [PDF]

Entropy (Basel)
Svozil K.
europepmc   +1 more source

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

ScientificWorldJournal, 2014
Zhang X.
europepmc   +1 more source

On Logical and Scientific Strength. [PDF]

Erkenntnis
Incurvati L, Nicolai C.
europepmc   +1 more source

An Extended Epistemic Framework Beyond Probability for Quantum Information Processing with Applications in Security, Artificial Intelligence, and Financial Computing. [PDF]

Entropy (Basel)
Iovane G.
europepmc   +1 more source