Results 31 to 40 of about 378,509 (227)
α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems [PDF]
International Journal of Computational Intelligence Systems, 2015 In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system ℒ P(X) based on lattice implication algebra.
Weitao Xu +4 more
doaj +1 more source
From Intuitionism to Brouwer's Modal Logic
Bulletin of the Section of Logic, 2020 We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication ...
Zofia Kostrzycka
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
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra [PDF]
, 2011 Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process.
A. Nerode +17 more
core +6 more sources
α-Minimal Resolution Principle For A Lattice-Valued Logic [PDF]
International Journal of Computational Intelligence Systems, 2015 Based on the academic ideas of resolution-based automated reasoning and the previously established research work on binary α-resolution based automated reasoning schemes in the framework of lattice-valued logic with truth-values in a lattice ...
Hairui Jia, Yang Xu, Yi Liu, Jun Liu
doaj +1 more source
Research on the Disease Intelligent Diagnosis Model Based on Linguistic Truth-Valued Concept Lattice
Complexity, 2021 Uncertainty natural language processing has always been a research focus in the artificial intelligence field. In this paper, we continue to study the linguistic truth-valued concept lattice and apply it to the disease intelligent diagnosis by building ...
Li Yang, Yuhui Wang, Haixia Li
doaj +1 more source
, 2012 In this paper we introduce the concept of implicative algebras which is an equivalent definition of lattice implication algebra of Xu (1993) and further we prove that it is a regular Autometrized Algebra. Further we remark that the binary operation →
Bekele, B, Kolluru, V
core +2 more sources
International Journal of Computational Intelligence Systems, 2022 With the expansion of the epidemic, online multimedia teaching has become a common trend. The reasoning model of multimedia teaching evaluation is a useful tool to infer the result of teaching effects and predict the tendency.
Yifan Lu +5 more
doaj +1 more source
The axioms for implication in orthologic [PDF]
, 2008 summary:We set up axioms characterizing logical connective implication in a logic derived by an ortholattice. It is a natural generalization of an orthoimplication algebra given by J. C.
Chajda, Ivan
core +1 more source
A Linguistic-Valued Approximate Reasoning Approach for Financial Decision Making
International Journal of Computational Intelligence Systems, 2017 In order to process the linguistic-valued information with uncertainty in the financial decision- making, the present work uses a lattice-valued logical algebra - lattice implication algebra to deal with both comparable and incomparable linguistic truth ...
Xin Liu, Ying Wang, Xiaonan Li, Li Zou
doaj +1 more source