Results 131 to 140 of about 378,509 (227)

VAGUE POSITIVE IMPLICATIVE AND VAGUE ASSOCIATIVE LI - IDEALS OF LATTICE IMPLICATION ALGEBRAS [PDF]

, 2015
T. Anitha, B.V. Amarendra
openalex   +1 more source

Critical Multi-Cubic Lattices: A Novel Implication Algebra for Infinite Systems of Qudit Gates [PDF]

Morrison Turnansky
openalex   +1 more source

On Boolean elements and derivations in 2-dimension linguistic lattice implication algebras [PDF]

, 2023
Hua Zhu, Jian-bin Zhao
openalex   +1 more source

Combining Higher-Order Logic with Set Theory Formalizations. [PDF]

J Autom Reason, 2023
Kaliszyk C, Pąk K.
europepmc   +1 more source

A Formalization of the Smith Normal Form in Higher-Order Logic. [PDF]

J Autom Reason, 2022
Divasón J, Thiemann R.
europepmc   +1 more source

Fully implicational Triple I reasoning method on Linguistic truth-valued Lattice Implication Algebra [PDF]

, 2007
Xiaodong Pan, Yang Xu
openalex   +1 more source

Harmonic weak Maass forms and periods II. [PDF]

Math Ann
Alfes C, Bruinier JH, Schwagenscheidt M.
europepmc   +1 more source

Missing at random: a stochastic process perspective. [PDF]

Biometrika, 2022
Farewell DM, Daniel RM, Seaman SR.
europepmc   +1 more source

TRANSITIVE AND ABSORBENT FILTERS OF LATTICE IMPLICATION ALGEBRAS [PDF]

, 2014
M. Sambasiva Rao
openalex   +1 more source

Cohomology Rings of Toric Bundles and the Ring of Conditions. [PDF]

Arnold Math J
Hofscheier J, Khovanskii A, Monin L.
europepmc   +1 more source