Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jianxing Gong

Optimised ExpTime Tableaux for𝒮ℋℐ𝒩over Finite Residuated Lattices

Journal of Applied Mathematics

Applied Mathematics

English

Related publications

Residuated Lattices

Transactions of the American Mathematical Society

Applied Mathematics

English

Vague Filters of Residuated Lattices

Journal of Discrete Mathematics

English

Folding Theory Applied to Residuated Lattices

International Journal of Mathematics and Mathematical Sciences

English

Algebraic Structure of Square Matrices Over Residuated Lattices

Communications Faculty Of Science University of Ankara Series A1Mathematics and Statistics

English

The Relations Among Fuzzyt-Filters on Residuated Lattices

The Scientific World Journal

Molecular Biology

Environmental Science

English

On Two Fragments With Negation and Without Implication of the Logic of Residuated Lattices

Archive for Mathematical Logic

English

Maximal Sublattices of Finite Distributive Lattices

Proceedings of the American Mathematical Society

Applied Mathematics

English

Distributive Lattices With Finite Projective Covers

Pacific Journal of Mathematics

English

Cover-Preserving Embeddings of Finite Length Semimodular Lattices Into Simple Semimodular Lattices

Algebra Universalis

English