Results 81 to 90 of about 2,874 (140)

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

, 2022
Frumin D.
europepmc   +1 more source

The relations among fuzzy t-filters on residuated lattices. [PDF]

ScientificWorldJournal, 2014
Zhang H, Li Q.
europepmc   +1 more source

Etale algebras over finite Heyting algebras

In this paper, we investigate the concept of local homeomorphism in Esakia spaces. We introduce the notion of etale Heyting H-algebra and establish category-theoretic duality for etale Heyting H-algebra in the case of finite Heyting algebra H. Furthermore, we give an identity that axiomatizes the variety of etale Heyting H-algebras when H is finite. We
openaire   +2 more sources

Ten problems in Gödel logic. [PDF]

Soft comput, 2017
Aguilera JP, Baaz M.
europepmc   +1 more source

Profinite bi-Heyting algebras

Algebra universalis
Abstract A poset $${\mathbb {X}}$$ X is said to be zigzag image-finite, if the least updownset (i.e., both an upset and a downset) containing x is finite, for all $$x\in X.$$
openaire   +2 more sources

Holistic Type Extension for Classical Logic via Toffoli Quantum Gate. [PDF]

Entropy (Basel), 2019
Freytes H, Giuntini R, Sergioli G.
europepmc   +1 more source

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [PDF]

J Autom Reason, 2018
Bancerek G, Byliński C, Grabowski A, Korniłowicz A, Matuszewski R, Naumowicz A, Pąk K.   +6 more
europepmc   +1 more source

ULTRAHOMOGENEOUS AND EXISTENTIALLY CLOSED HEYTING ALGEBRAS [PDF]

, 2020
Yamamoto, Kentarô, Ph.D.
core