Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Physica-Verlag HD

9783790825220, 9783790817690

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Development of Set Theory in Fuzzy Logic

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-7908-1769-0_12 ◽

2003 ◽

pp. 273-285 ◽

Cited By ~ 9

Author(s):

Petr Hájek ◽

Zuzana Haniková

Keyword(s):

Fuzzy Logic ◽

Set Theory

Download Full-text

Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued Logics

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-7908-1769-0_6 ◽

2003 ◽

pp. 157-180 ◽

Cited By ~ 3

Author(s):

Matthias Baaz ◽

Agata Ciabattoni ◽

Christian G. Fermüller

Download Full-text

A Fuzzy Generalisation of Information Relations

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-7908-1769-0_13 ◽

2003 ◽

pp. 287-312 ◽

Cited By ~ 3

Author(s):

Anna Maria Radzikowska ◽

Etienne E. Kerre

Download Full-text

A Łukasiewicz—style Many-valued Similarity Reasoning. Review

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-7908-1769-0_15 ◽

2003 ◽

pp. 337-347

Author(s):

Esko Turunen

Keyword(s):

Similarity Reasoning

Download Full-text

On the Hierarchy of t-norm Based Residuated Fuzzy Logics

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-7908-1769-0_11 ◽

2003 ◽

pp. 251-272 ◽

Cited By ~ 15

Author(s):

Francesc Esteva ◽

Lluís Godo ◽

Àngel García-Cerdaña

Keyword(s):

Fuzzy Logics

Download Full-text

Polarity-based Stochastic Local Search Algorithms for Non-clausal Satisfiability

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-7908-1769-0_7 ◽

2003 ◽

pp. 181-192 ◽

Cited By ~ 1

Author(s):

Zbigniew Stachniak

Keyword(s):

Local Search ◽

Search Algorithms ◽

Stochastic Local Search ◽

Local Search Algorithms

Download Full-text

Classical Gentzen-type Methods in Propositional Many-valued Logics

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-7908-1769-0_5 ◽

2003 ◽

pp. 117-155 ◽

Cited By ~ 12

Author(s):

Arnon Avron

Download Full-text

Ternary Kleenean Non-additive Measures

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-7908-1769-0_10 ◽

2003 ◽

pp. 237-250 ◽

Cited By ~ 1

Author(s):

Tomoyuki Araki ◽

Masao Mukaidono ◽

Fujio Yamamoto

Keyword(s):

Additive Measures

Download Full-text

Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-7908-1769-0_3 ◽

2003 ◽

pp. 59-100 ◽

Cited By ~ 7

Author(s):

Viorica Sofronie-Stokkermans

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Representation Theorems

Download Full-text

Algebras for Hazard Detection

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-7908-1769-0_1 ◽

2003 ◽

pp. 3-24 ◽

Cited By ~ 9

Author(s):

Janusz Brzozowski ◽

Zoltán Ésik ◽

Yaacov Iland

Keyword(s):

Hazard Detection

Download Full-text

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Physica-Verlag HD

A Development of Set Theory in Fuzzy Logic

Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued Logics

A Fuzzy Generalisation of Information Relations

A Łukasiewicz—style Many-valued Similarity Reasoning. Review

On the Hierarchy of t-norm Based Residuated Fuzzy Logics

Polarity-based Stochastic Local Search Algorithms for Non-clausal Satisfiability

Classical Gentzen-type Methods in Propositional Many-valued Logics

Ternary Kleenean Non-additive Measures

Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving

Algebras for Hazard Detection

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing
Latest Publications