Beyond two: Theory and applications of multiple-valued logic (Q1872780)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Beyond two: Theory and applications of multiple-valued logic |
scientific article |
Statements
Beyond two: Theory and applications of multiple-valued logic (English)
0 references
15 May 2003
0 references
The articles of this volume will be reviewed individually. Indexed articles: \textit{Brzozowski, Janusz; Ésik, Zoltán; Iland, Yaacov}, Algebras for hazard detection, 3-24 [Zbl 1046.94021] \textit{Font, Josep Maria}, An abstract algebraic logic view of some multiple-valued logics, 25-57 [Zbl 1057.03059] \textit{Sofronie-Stokkermans, Viorica}, Representation theorems and the semantics of non-classical logics, and applications to automated theorem proving, 59-100 [Zbl 1042.03013] \textit{Simovici, Dan A.}, An algebraic approach to entropy and its generalizations -- a survey, 101-114 [Zbl 1048.94005] \textit{Avron, Arnon}, Classical Gentzen-type methods in proposititional many-valued logics, 117-155 [Zbl 1046.03011] \textit{Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.}, Sequent of relations calculi: A framework for analytic deduction in many-valued logics, 157-180 [Zbl 1041.03020] \textit{Stachniak, Zbigniew}, Polarity-based stochastic local search algorithms for non-clausal satisfiability, 181-192 [Zbl 1036.68103] \textit{Konikowska, Beata; Penczek, Wojciech}, Model checking for multi-valued computation tree logics, 193-210 [Zbl 1049.03026] \textit{Hähnle, Reiner}, Complexity of many-valued logics, 211-233 [Zbl 1046.03012] \textit{Araki, Tomoyuki; Mukaidono, Masao; Yamamoto, Fujio}, Ternary Kleenean non-additive measures, 237-250 [Zbl 1039.28016] \textit{Esteva, Francesc; Godo, Lluís; García-Cerdaña, Àngel}, On the hierarchy of t-norm based rediduated fuzzy logics, 251-272 [Zbl 1038.03026] \textit{Hájek, Petr; Haniková, Zuzana}, A development of set theory in fuzzy logic, 273-285 [Zbl 1040.03041] \textit{Radzikowska, Anna Maria; Kerre, Etienne E.}, A fuzzy generalisation of information relations, 287-312 [Zbl 1036.68114] \textit{Aguzzoli, Stefano; Mundici, Daniele}, Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable, 315-335 [Zbl 1046.03010] \textit{Turunen, Esko}, A Łukasiewicz-style many-valued similarity reasoning. Review, 337-347 [Zbl 1077.93032] \textit{Morgan, Charles G.}, Two values, three values, many values, no values, 349-374 [Zbl 1045.03010]
0 references
Multiple-valued logic
0 references