Results 11 to 20 of about 174,060 (272)
Interval-Valued General Residuated Lattice-Ordered Groupoids and Expanded Triangle Algebras
Axioms, 2022 As an extension of interval-valued pseudo t-norms, interval-valued pseudo-overlap functions (IPOFs) play a vital role in solving interval-valued multi-attribute decision making problems.
Xiaohong Zhang, Rong Liang
doaj +1 more source
A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
Bulletin of the Section of Logic, 2021 In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect to the functional embeddinig one
Natalya Tomova
doaj +1 more source
Gautama and Almost Gautama Algebras and their associated logics [PDF]
Transactions on Fuzzy Sets and Systems, 2023 Recently, Gautama algebras were defined and investigated as a common generalization of the variety $\mathbb{RDBLS}\rm t$ of regular double Stone algebras and the variety $\mathbb{RKLS}\rm t$ of regular Kleene Stone algebras, both of which are, in ...
Juan M. Cornejo +1 more
doaj +1 more source
HH∗−intuitionistic heyting valued Ω-algebra and homomorphism [PDF]
Journal of Hyperstructures, 2017 Intuitionistic Logic was introduced by L. E. J. Brouwer in[1] and Heyting algebra was defined by A. Heyting to formalize the Brouwer’s intuitionistic logic[4]. The concept of Heyting algebra has been accepted as the basis for intuitionistic propositional
Sinem Tarsuslu(Yılmaz) +1 more
doaj +1 more source
On Neutrosophic Vague Binary BZMZ^dM Sub-algebra of BZMZ^dM-algebra in Neutrosophic Vague Binary Sets [PDF]
Neutrosophic Sets and Systems, 2021 In Model theory, common algebraic structures found are Lattices and Boolean Algebras. In the broad field of research, various algebraic structures can be introduced for a set. BCK, BCI, BCH, BH etc. are some of them.
P. B. Remya, A. Francina Shalini
doaj +1 more source
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
A Comparison between Lattice-Valued Propositional Logic LP(X) and Gradational Lattice-Valued Propositional Logic Lvpl [PDF]
Proceedings on Intelligent Systems and Knowledge Engineering (ISKE2007), 2007 In order to provide a logical foundation for uncertain information processing theory, especially for the fuzziness, the incomparability uncertain information in the reasoning, Xu presented the lattice implication algebra by combining lattice and implication algebra in 1993 [1].
Xiqing Long +3 more
openaire +1 more source
A Real-Valued Modal Logic [PDF]
Logical Methods in Computer Science, 2018 A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers.
Denisa Diaconescu +2 more
doaj +1 more source
Skolemization and Herbrand theorems for lattice-valued logics [PDF]
Theoretical Computer Science, 2019 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cintula, Petr +2 more
openaire +3 more sources
Turing machines based on unsharp quantum logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In this paper, we consider Turing machines based on unsharp quantum logic. For a lattice-ordered quantum multiple-valued (MV) algebra E, we introduce E-valued non-deterministic Turing machines (ENTMs) and E-valued deterministic Turing machines (EDTMs ...
Yun Shang, Xian Lu, Ruqian Lu
doaj +1 more source