Many-Valued Logic Tools for Granular Modeling

BOOK CHAPTER published in Human-Centric Information Processing Through Granular Modelling

Authors: Siegfried Gottwald

Many-Valued Logic through Its History

PROCEEDINGS ARTICLE published 2015 in Proceedings of the 7th International Joint Conference on Computational Intelligence

Authors: Angel Garrido

Proof Theory of Many-Valued Logic and Linear Optimization

BOOK CHAPTER published 2001 in Computational Intelligence in Theory and Practice

Authors: Reiner Hähnle

Many-Valued and Fuzzy Logics

BOOK CHAPTER published 2015 in Springer Handbook of Computational Intelligence

Authors: Siegfried Gottwald

Generated Connectives in Many Valued Logic

BOOK CHAPTER published 1999 in Lecture Notes in Computer Science

Authors: Radko Mesiar

FUZZY RELATION EQUATIONS VIA BASIC PREDICATE FUZZY LOGIC

PROCEEDINGS ARTICLE published July 2002 in Computational Intelligent Systems for Applied Research

Authors: VILÉM NOVÁK | IRINA PERFILIEVA | SIEGFRIED GOTTWALD

FE classification of functions of many-valued logic

JOURNAL ARTICLE published June 2011 in Moscow University Computational Mathematics and Cybernetics

Authors: S. S. Marchenkov

Terminating Evaluation of Logic Programs with Finite Three-Valued Models

JOURNAL ARTICLE published August 2014 in ACM Transactions on Computational Logic

Authors: Fabrizio Riguzzi | Terrance Swift

Monotonic functions of many-valued logic and supermatroids

JOURNAL ARTICLE published January 1984 in USSR Computational Mathematics and Mathematical Physics

Authors: M.M. Kovalev | P. Milanov

A NEW LATTICE-VALUED PROPOSITIONAL LOGIC (I): SEMANTICS

PROCEEDINGS ARTICLE published July 2002 in Computational Intelligent Systems for Applied Research

Authors: KEYUN QIN | YANG XU

On the Structure of the Lattice of Classes of Partial Monotone Many-Valued Logic Functions

JOURNAL ARTICLE published April 2019 in Computational Mathematics and Modeling

Authors: O. S. Dudakova

Connectionist Representation of Multi-Valued Logic Programs

BOOK CHAPTER published 2007 in Perspectives of Neural-Symbolic Integration

Authors: Ekaterina Komendantskaya | Máire Lane | Anthony Karel Seda

AN AXIOMATIZABLE LATTICE-ORDERED LINGUISTIC TRUTH-VALUED LOGIC

PROCEEDINGS ARTICLE published July 2010 in Computational Intelligence

Authors: JUN LIU | YANG XU | DA RUAN

Logic programming revisited

JOURNAL ARTICLE published October 2001 in ACM Transactions on Computational Logic

Authors: Maurice Bruynooghe | Victor Marek

Editors: Marc Denecker

Graded computation tree logic

JOURNAL ARTICLE published August 2012 in ACM Transactions on Computational Logic

Authors: Alessandro Bianco | Fabio Mogavero | Aniello Murano

A Many-Valued Temporal Logic and Reasoning Framework for Decision Making

BOOK CHAPTER published 2010 in Computational Intelligence in Complex Decision Systems

Authors: Zhirui Lu | Jun Liu | Juan C. Augusto | Hui Wang

Probabilistic logic programming with conditional constraints

JOURNAL ARTICLE published July 2001 in ACM Transactions on Computational Logic

Authors: Thomas Lukasiewicz

A RESOLUTION METHOD ON LATTICE-VALUED TENSE PROPOSITIONAL LOGIC

PROCEEDINGS ARTICLE published August 2004 in Applied Computational Intelligence

Authors: WENJIANG LI | YANG XU

Studies in Pure Prolog: Termination

BOOK CHAPTER published 1990 in Computational Logic

Authors: Krzysztof R. Apt | Dino Pedreschi

L-TAUTOLOGY THEORY IN LATTICE-VALUED PROPOSITIONAL LOGIC

PROCEEDINGS ARTICLE published July 2010 in Computational Intelligence

Authors: XIAODONG PAN | KAIJUN XU | KEYUN QIN | YANG XU