Results 81 to 90 of about 1,465 (138)

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

Polyadic algebras over nonclassical logics [PDF]

Banach Center Publications, 1993
D. PIGOZZI, SALIBRA, Antonino
openaire   +2 more sources

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

Language logicality and nonclassical logic

, 2021
Pistoia Reda, Salvatore, San Mauro, Luca
openaire   +1 more source