Logic at work. Essays dedicated to the memory of Helena Rasiowa (Q1277794)

The articles of this volume will be reviewed individually. Indexed articles: \textit{van Dalen, Dirk}, The role of language and logic in Brouwer's work, 3-14 [Zbl 0918.01015] \textit{Fitting, Melvin}, Foreword: A tribute to Professor Helena Rasiowa, v-viii [Zbl 0922.01035] \textit{Murawski, Roman}, On new trends in the philosophy of mathematics, 15-24 [Zbl 0932.01030] \textit{Woleński, Jan}, Logic from a metalogical point of view, 25-35 [Zbl 0924.03009] \textit{van Benthem, Johan}, Modal foundations for predicate logic, 39-54 [Zbl 0923.03019] \textit{Gottlob, Georg}, Review of a Carnapian extension of S5, 55-78 [Zbl 0922.03022] \textit{Mints, Grigori}, A completeness proof for propositional S4 in Cantor space, 79-88 [Zbl 0923.03026] \textit{Nonnengart, Andreas; Szałas, Andrzej}, A fixpoint approach to second-order quantifier elimination with applications to correspondence theory, 89-108 [Zbl 0923.03049] \textit{de Rijke, Maarten}, A modal characterization of Peirce algebras, 109-123 [Zbl 0922.03088] \textit{Venema, Yde; Marx, Maarten}, A modal logic of relations. (With appendix: ``Mosaics and step-by-step'', by Robin Hirsch, Ian Hodkinson, Maarten Marx, Szabolcs Mikulás and Mark Reynolds), 124-167 [Zbl 0924.03030] \textit{Wolter, Frank; Zakharyaschev, Michael}, Intuitionistic modal logics as fragments of classical bimodal logics, 168-183 [Zbl 0922.03023] \textit{Gordeev, Lev}, Reduction calculi for Post logics, 187-203 [Zbl 0922.03028] \textit{Gottwald, Siegfried}, On the rule of syllogism for fuzzy implications, 204-221 [Zbl 0924.03033] \textit{Skvortsov, Dmitrij}, On Prucnal's theorem, 222-228 [Zbl 0973.03031] \textit{Urquhart, Alasdair}, Beth's definability theorem in relevant logics, 229-234 [Zbl 0923.03028] \textit{Adamowicz, Zofia}, Non-codability of restricted \(\Sigma_1\) truth, 235-245 [Zbl 0922.03057] \textit{de Jongh, Dick; Pianigiani, Duccio}, Solution of a problem of David Guaspari, 246-254 [Zbl 0923.03025] \textit{Visser, Albert}, Interpretations over Heyting's arithmetic, 255-284 [Zbl 0933.03076] \textit{Białasik, Marcin; Konikowska, Beata}, A logic for nondeterministic specifications, 287-311 [Zbl 0921.03039] \textit{Brink, Chris; Goslett, Janet}, Propositional logic, powerdomains and information, 312-330 [Zbl 0922.03043] \textit{Caferra, Ricardo; Peltier, Nicolas}, Disinference rules, model building and abduction, 331-353 [Zbl 0923.03040] \textit{MacCaull, Wendy}, Relational tableaux for tree models, language models and information networks, 354-382 [Zbl 0926.03026] \textit{Demri, Stéphane; Orłowska, Ewa}, Informational representability of models for information logics, 383-409 [Zbl 0923.03039] \textit{de Kogel, Eric; de Swart, Harrie}, An exercise in relational algebra: Reduction in programming languages, 410-423 [Zbl 0934.03078] \textit{Stachniak, Zbigniew}, Polarity strategies for resolution logics, 424-441 [Zbl 0947.03013] \textit{Batens, Diderik}, Inconsistency-adaptive logics, 445-472 [Zbl 0923.03036] \textit{Benferhat, Salem; Dubois, Didier; Prade, Henri}, Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. II: The prioritized case, 473-511 [Zbl 0930.68149] \textit{De Glas, Michel}, Pseudoconsistent logic: Towards a formal framework for handling contradictions, 512-529 [Zbl 0923.03037] \textit{Došen, Kosta}, On passing from singular to plural consequences, 533-547 [Zbl 0923.03020] \textit{Krynicki, Michał; Mostowski, Marcin}, Ambiguous quantifiers, 548-565 [Zbl 0923.03054] \textit{Rybakov, Vladimir V.}, Logics of schemes and admissible rules for first-order theories, 566-579 [Zbl 0927.03063] \textit{Wojtylak, Piotr}, 2-SAT is not equivalent to Boolean Prime Ideal Theorem, 580-583 [Zbl 0923.03016] \textit{Hałkowska, Katarzyna}, Lattices of equational theories of \(P\)-compatible varieties, 587-595 [Zbl 0924.08006] \textit{Iturrioz, Luisa}, Rough sets and three-valued structures, 596-603 [Zbl 0922.03086] \textit{Lambek, Joachim}, Bilinear logic and Grishin algebras, 604-612 [Zbl 0957.03063] \textit{Maddux, Roger D.}, Relation algebras of formulas, 613-636 [Zbl 0923.03073] \textit{Ono, Hiroakira}, Algebraic semantics for predicate logics and their completeness, 637-650 [Zbl 0923.03075] \textit{Pagliani, Piero}, Algebraic models and proof analysis: A simple case study, 651-668 [Zbl 0923.03076] \textit{Sain, Ildikó; Németi, István}, Fork algebras in usual and in non-well-founded set theories (an overview), 669-694 [Zbl 0923.03074]