Sage Journals: Discover world-class research

Retricted access

Research article

First published 2013-4

On an algebra of linguistic truth-valued intuitionistic lattice-valued logic

Li Zou, Peng Shi, Zheng Pei [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2018

Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system 1

Jia Hairui, Liu Yi, Xu Yang

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2015-10-23

Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF ( X ) 1

Liu Yi, Xu Yang, Zhong Xiaomei

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2008-5

Multi-Valued MSO Logics OverWords and Trees

Manfred Droste, Werner Kuich, George Rahonis

Fundamenta Informaticae

Retricted access

Research article

First published 2008-8

A linguistic truth-valued reasoning approach in decision making with incomparable information

Zou Li, Da Ruan, Pei Zheng [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2015-10-23

Why Lattice-valued fuzzy values? A mathematical justification

Rujira Ouncharoen, Vladik Kreinovich, Hung T. Nguyen

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2014-11

Quantitative Analysis of Lattice-valued Kripke Structures

Haiyu Pan, Min Zhang, Hengyang Wu [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2004-4

On Designated Values in Multi-valued CTL^* Model Checking

Beata Konikowka, Wojciech Penczek

Fundamenta Informaticae

Retricted access

Research article

First published 2021-03-02

A minimization algorithm for fuzzy top-down tree automata over lattices

Maryam Ghorani, Sunita Garhwal

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2011-1

Dualities for Algebras of Fitting's Many-Valued Modal Logics

Yoshihiro Maruyama

Fundamenta Informaticae

Search results