Results 21 to 30 of about 804,554 (168)
Chinese Research on Mathematical Logic and the Foundations of Mathematics
Asian Studies, 2022 This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated ...
Hongguang Wang, Guoping Du
doaj +1 more source
Almost nilpotent Lie algebras [PDF]
, 1987 Throughout we shall consider only finite-dimensional Lie algebras over a field of characteristic zero. In [3] it was shown that the classes of solvable and of supersolvable Lie algebras of dimension greater than two are characterised by the structure of ...
Towers, David
core +4 more sources
Elementary Lie Algebras and Lie A-Algebras. [PDF]
, 2007 A finite-dimensional Lie algebra L over a field F is called elementary if each of its subalgebras has trivial Frattini ideal; it is an A-algebra if every nilpotent subalgebra is abelian. The present paper is primarily concerned with the classification of
Varea, Vicente R., Towers, David A.
core +5 more sources
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X) [PDF]
International Journal of Computational Intelligence Systems, 2014 This paper is focused on α-generalized semantic resolution automated reasoning method in linguistic truth-valued lattice-valued propositional logic.
Jiafeng Zhang, Yang Xu, Xingxing He
doaj +1 more source
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic [PDF]
International Journal of Computational Intelligence Systems, 2012 This paper focuses on effcient non-clausal resolution-based automated reasoning methods and algorithms for a lattice-ordered linguistic truth-valued logic, which corresponds to extensions of α-lock resolution.
Xingxing He +3 more
doaj +1 more source
On upper modular subalgebras of a Lie algebra. [PDF]
, 2004 This paper is a further contribution to the extensive study by a number of authors of the subalgebra lattice of a Lie algebra. We give some necessary and some sufficient conditions for a subalgebra to be upper modular.
Bowman, Kevin +2 more
core +4 more sources
Ultra LI-ideals in lattice implication algebras and MTL-algebras [PDF]
Czechoslovak Mathematical Journal, 2007 A mistake concerning the ultra \textit{LI}-ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an \textit{LI}-ideal to be an ultra \textit{LI}-ideal are given. Moreover, the notion of an \textit{LI}-ideal is extended to MTL-algebras, the notions of a (prime, ultra, obstinate, Boolean) \textit{LI ...
Zhang, Xiaohong +2 more
openaire +3 more sources
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras [PDF]
Logical Methods in Computer ScienceA distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring.
Natanael Alpay +2 more
doaj +1 more source
Two Generator Subalgebras Of Lie Algebras. [PDF]
, 2007 In [14] Thompson showed that a finite group G is solvable if and only if every twogenerated subgroup is solvable (Corollary 2, p. 388). Recently, Grunevald et al.
Bowman, Kevin +2 more
core +5 more sources
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
International Journal of Computational Intelligence Systems, 2018 Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
doaj +1 more source