Results 111 to 120 of about 387 (145)

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

, 2022
Frumin D.
europepmc   +1 more source

Ideals and their complements in commutative semirings. [PDF]

Soft comput, 2019
Chajda I, Länger H.
europepmc   +1 more source

A New Logic, a New Information Measure, and a New Information-Based Approach to Interpreting Quantum Mechanics. [PDF]

Entropy (Basel)
Ellerman D.
europepmc   +1 more source