{"entities":{"Q1277794":{"pageid":1288544,"ns":120,"title":"Item:Q1277794","lastrevid":70555653,"modified":"2026-04-13T15:26:12Z","type":"item","id":"Q1277794","labels":{"en":{"language":"en","value":"Logic at work. Essays dedicated to the memory of Helena Rasiowa"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1258659"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277794$9DC3B755-3D2C-40DF-BE68-1C45F0C10B6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d17287f34860e8d9200ef09d8d70f3605b054fb","datavalue":{"value":{"text":"Logic at work. Essays dedicated to the memory of Helena Rasiowa","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1277794$39F70997-D1F8-476E-A660-0145AFAD2DC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"436a31a7d66c9d2b50375a23238f1fafb880402a","datavalue":{"value":"0910.00016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277794$7E9EC38B-15C2-4B02-9431-BE32893FB827","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e45bc507e34591b785af634f74866d90c2c6028","datavalue":{"value":{"entity-type":"item","numeric-id":163449,"id":"Q163449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277794$F2B000F8-E77E-4C17-BCCC-5329CD619AD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acf68b992de59fe00fe26e152a21d07d0ce34455","datavalue":{"value":{"time":"+1999-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1277794$2306B733-9611-429F-A912-6AD1082E8C24","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d6d3ca28f868ac87a7d142065b28ec9d5efb050","datavalue":{"value":"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\u0144ski, 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\u0142as, 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\u00e1s 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\u0142asik, 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\u00e9phane; Or\u0142owska, 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\u0161en, Kosta}, On passing from singular to plural consequences, 533-547 [Zbl 0923.03020]  \\textit{Krynicki, Micha\u0142; 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\u0142kowska, 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\u00f3; N\u00e9meti, Istv\u00e1n}, Fork algebras in usual and in non-well-founded set theories (an overview), 669-694 [Zbl 0923.03074]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277794$4D02C9C2-32D5-4EC2-B6AA-B252C47EC5E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277794$47DB94BF-DFF3-498D-9B3C-24F5F635CFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277794$74B9AA44-91A8-4E2F-BD11-3DD288094724","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b358eeb6a1b4a48878b5d2d624b98e9e55854722","datavalue":{"value":"1258659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277794$CB7D89AC-A19D-43DD-A2AC-F95E5B010CA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277794$F7223406-EE68-4735-BDD1-C8084AE2E30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e303fd1cd766b07e23d74c0632526b793060418b","datavalue":{"value":"Essays","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277794$9B6707DC-47B0-44FF-9E0A-284349BF18BA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277794$6E0AA4E0-08F7-45C7-8A06-3D7C0FB5B238","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67779fee569eddbaeeafb1835b1b5d513a798254","datavalue":{"value":{"entity-type":"item","numeric-id":4243437,"id":"Q4243437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322149a1aa093013d637a037da70fabdf3a6b861","datavalue":{"value":{"amount":"+0.8425202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277794$125612BE-6A19-415C-B7F7-6FAF22A6F134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0e8c407ddec258a787b8187e3551a3847a9607b","datavalue":{"value":{"entity-type":"item","numeric-id":4267168,"id":"Q4267168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2256cc23570ff8d65cc5149fa0dc428af91e57","datavalue":{"value":{"amount":"+0.84173083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277794$A5AC14B7-13AD-431E-B929-EB4E689B937B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c2302c3e1014569f72ef099f8f0c4c0c5f42c4","datavalue":{"value":{"entity-type":"item","numeric-id":5283971,"id":"Q5283971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d69850fb797556504cab8e62b3e8ef32dea08766","datavalue":{"value":{"amount":"+0.8391248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277794$5336DB50-4706-4345-A5EB-AAA3FC01BCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c347208f59fab331c2c9dd29570730e624b3ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5115668,"id":"Q5115668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef48f4551e7de160167aacdb2243de6ee4a0e5db","datavalue":{"value":{"amount":"+0.83810043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277794$3BCD0C7D-6086-4867-95CB-64EB5B498484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d194220f49adffa688635b3290be3381d887db0b","datavalue":{"value":{"entity-type":"item","numeric-id":5163789,"id":"Q5163789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2a03c5bff3e083b5ff9f5e1ec870e46d312c00","datavalue":{"value":{"amount":"+0.8340447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277794$5ECF24A8-75C3-473D-B7EF-C8B94B66F9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0d0af6b8dc9f333c7a9c0ef959ff618ec1eb20","datavalue":{"value":{"entity-type":"item","numeric-id":1379291,"id":"Q1379291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c209c84375d95eb8f53a211e59222391b49233","datavalue":{"value":{"amount":"+0.83352166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277794$F91F4F37-2E43-4661-9741-FBAA05B89AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"934384bac98ff855789380b064a1c7050533b4a0","datavalue":{"value":{"entity-type":"item","numeric-id":1396582,"id":"Q1396582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e170e7d470f6f73bdd0dcdc1b6b238dc51114d1","datavalue":{"value":{"amount":"+0.8313887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277794$AC118335-A6C0-49FC-97D5-DD9E39B7B332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef4ec4d39682ebb950004a484c8670173150b36","datavalue":{"value":{"entity-type":"item","numeric-id":5000443,"id":"Q5000443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3651be4df13614f31c88ae6c205b992f0ef6d4dd","datavalue":{"value":{"amount":"+0.83109957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277794$DC625E56-642D-4910-AE9F-929D925ECE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c778f25e56e565dc9f83423e1cad7def0f8f7e73","datavalue":{"value":{"entity-type":"item","numeric-id":1125621,"id":"Q1125621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f160693332e6ab9243916a43cc3e934ce5dd2db8","datavalue":{"value":{"amount":"+0.8297515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277794$CD7CD5BE-C0E1-4042-9915-F3EFBBA902DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e61d0ab8e06ae6fbf10f6f85a9d1380f351c3dc","datavalue":{"value":{"entity-type":"item","numeric-id":2154129,"id":"Q2154129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70aa01686e23d8f170cdc94b7a848d2110abf420","datavalue":{"value":{"amount":"+0.82507604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1277794$E3D7EC9F-A2D1-4776-A8B8-53B0FBF04995","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic at work. Essays dedicated to the memory of Helena Rasiowa","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_at_work._Essays_dedicated_to_the_memory_of_Helena_Rasiowa"}}}}}