{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T14:51:05Z","timestamp":1718981465091},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,6,15]],"date-time":"2011-06-15T00:00:00Z","timestamp":1308096000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1007\/s11787-011-0030-9","type":"journal-article","created":{"date-parts":[[2011,6,14]],"date-time":"2011-06-14T14:36:25Z","timestamp":1308062185000},"page":"177-203","source":"Crossref","is-referenced-by-count":7,"title":["On Pairs of Dual Consequence Operations"],"prefix":"10.1007","volume":"5","author":[{"given":"Urszula","family":"Wybraniec-Skardowska","sequence":"first","affiliation":[]},{"given":"Jacek","family":"Waldmajer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,6,15]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Bonikowski Z. (2010) Unit operations in approximation spaces. In: Szczuka M., Kryszkiewicz M., Ramanna S., Jensen R. (eds). Rough Sets and Current Trends in Computing LNAI, vol 6086. Springer, Berlin, pp 337\u2013346","DOI":"10.1007\/978-3-642-13529-3_36"},{"key":"30_CR2","unstructured":"Bonikowski, Z., Wybraniec-Skardowska, U.: A generalization of certain set-theoretical operations. In: Beziau, J.-Y., Caleiro, C., Costa-Leite, A., Ramos, J. (eds.) UniLog 2010, Book of Abstracts, World Congress and School on Universal Logic (3rd edition), April 18\u201325, 2010, Monte Estoril, Portugal. Instituto Superior Tecnico, Departamento de Matematica, p. 59 (2010)"},{"key":"30_CR3","unstructured":"Borkowski, L.: Logika Formalna. PWN, Warszawa (1970) (English translation: Formal Logic, Akademie-Verlag, Berlin (1977))"},{"key":"30_CR4","unstructured":"Bryll, G.: Kilka uzupe\u0142nie\u0144 teorii zda\u0144 odrzuconych (Some supplements of the theory of rejected propositions). In: [45], 133\u2013154 (1969)"},{"key":"30_CR5","unstructured":"Bryll, G.: Zwia\u0327zki logiczne pomi\u0229dzy zdaniami nauk empirycznych (Logical relations between sentences of empirical sciences). In: [45], 155\u2013216 (1969)"},{"key":"30_CR6","unstructured":"Bryll, G.: Metody odrzucania wyra\u017ce\u0144 (Methods of Rejection of Expressions). Problemy Wsp\u00f3\u0142czesnej Nauki. Teoria i Zastosowania. Informatyka. Akademicka Oficyna Wydawnicza PLJ, Warszawa (1996)"},{"key":"30_CR7","doi-asserted-by":"crossref","first-page":"182","DOI":"10.4064\/fm-3-1-182-199","volume":"3","author":"K. Kuratowski","year":"1922","unstructured":"Kuratowski K.: Surl\u2019operation \u0100del\u2019 analysys situs. Fundam. Math. 3, 182\u2013199 (1922)","journal-title":"Fundam. Math."},{"key":"30_CR8","unstructured":"\u0141ukasiewicz, J.: Logika dwuwarto\u015bciowa (Two-valued logic), Przegla\u0327d Filozoficzny 23, 189\u2013205 (1921) (English translation: Two-valued logic. In: [13], 89\u2013109 (1970))"},{"key":"30_CR9","unstructured":"\u0141ukasiewicz, J.: O sylogistyce Arystotelesa (On Aristotle\u2019s syllogistic). Sprawozdania z Czynno\u015bci i Posiedze\u0144 Polskiej Akademii Umiej\u0229tno\u015bci 44 (1939). (Reprinted in: Z Zagadnie\u0144 Logiki i Filozofii. Pisma Wybrane (Problems in Logic and Philosophy. Selected Papers (J. S\u0142upecki (Ed.)), PWN, Warszawa, 220\u2013227 (1961)"},{"key":"30_CR10","unstructured":"\u0141ukasiewicz, J.: Aristotle\u2019s Syllogistic from the Standpoint of Modern Formal Logic. Oxford University Press, Oxford (1951) (Second edition in (1955))"},{"key":"30_CR11","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/S1385-7258(52)50028-3","volume":"3","author":"J. \u0141ukasiewicz","year":"1952","unstructured":"\u0141ukasiewicz J.: On the intuitionistic theory of deduction. Indagationes Math. Ser. A 3, 202\u2013212 (1952)","journal-title":"Indagationes Math. Ser. A"},{"issue":"3","key":"30_CR12","first-page":"111","volume":"1","author":"J. \u0141ukasiewicz","year":"1953","unstructured":"\u0141ukasiewicz, J.: A system of modal logic. J. Comput. Syst. 1(3), 111\u2013149 (1953) (reprinted in [13], 352\u2013360 (1970))","journal-title":"J. Comput. Syst."},{"key":"30_CR13","unstructured":"\u0141ukasiewicz, J.: Selected Works (L. Borkowski, Ed.). North-Holland Publication, Amsterdam (1970)"},{"key":"30_CR14","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BF02548472","volume":"9","author":"W.A. Pogorzelski","year":"1960","unstructured":"Pogorzelski W.A., S\u0142upecki J.: Podstawowe w\u0142asno\u015bci system\u00f3w dedukcyjnych opartych na nieklasycznych logikach (Basic properties of deductive systems based on nonclassical logics), part I. Stud. Logic. 9, 163\u2013176 (1960)","journal-title":"Stud. Logic."},{"key":"30_CR15","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF02120405","volume":"10","author":"W.A. Pogorzelski","year":"1960","unstructured":"Pogorzelski W.A., S\u0142upecki J.: Podstawowe w\u0142asno\u015bci system\u00f3w dedukcyjnych opartych na nieklasycznych logikach (Basic properties of deductive systems based on nonclassical logics), part II. Stud. Logic. 10, 77\u201395 (1960)","journal-title":"Stud. Logic."},{"key":"30_CR16","unstructured":"Pogorzelski, W.A., Wojtylak, P.: Completeness theory for propositional logics. Series: Studies in Universal Logic. Birkh\u00e4user Verlag AG, Basel (2008)"},{"key":"30_CR17","first-page":"75","volume":"23","author":"T. Skura","year":"1989","unstructured":"Skura T.: A complete syntactical characterization of the intuitionistic logic. Rep. Math. Logic 23, 75\u201380 (1989)","journal-title":"Rep. Math. Logic"},{"key":"30_CR18","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1305\/ndjfl\/1093634486","volume":"33","author":"T. Skura","year":"1992","unstructured":"Skura T.: Refutation calculi for certain intermediate propositional logics. Notre Dame J. Formal Logic 33, 552\u2013560 (1992)","journal-title":"Notre Dame J. Formal Logic"},{"key":"30_CR19","first-page":"83","volume":"15","author":"T. Skura","year":"1993","unstructured":"Skura T.: Some results concerning refutation procedures. Acta Univ. Wratislaviensis Logik. 15, 83\u201395 (1993)","journal-title":"Acta Univ. Wratislaviensis Logik."},{"key":"30_CR20","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1305\/ndjfl\/1040408614","volume":"35","author":"T. Skura","year":"1994","unstructured":"Skura T.: Syntactic refutation against finite models in modal logic. Notre Dame J. Formal Logic 35, 573\u2013582 (1994)","journal-title":"Notre Dame J. Formal Logic"},{"key":"30_CR21","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/BF01306967","volume":"24","author":"T. Skura","year":"1995","unstructured":"Skura T.: A \u0141ukasiewicz-style refutation system for the modal logic S5. J. Philos. Logic 24, 573\u2013582 (1995)","journal-title":"J. Philos. Logic"},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"Skura, T.: Refutation and proofs in S4. In: Wansing, H. (ed.) Proof Theory of Modal Logic. Kluwer, Dordrecht (1996)","DOI":"10.1007\/978-94-017-2798-3_4"},{"key":"30_CR23","unstructured":"Skura, T.: Aspects of refutation procedures in the intuitionistic logic and related modal systems. Logika 20(2190); Acta Universitatis Wratislaviensis, Wroc\u0142aw (1999)"},{"issue":"2","key":"30_CR24","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s11787-009-0009-y","volume":"3","author":"T. Skura","year":"2009","unstructured":"Skura T.: A refutation theory. Log. Univers. 3(2), 293\u2013302 (2009)","journal-title":"Log. Univers."},{"key":"30_CR25","unstructured":"Supecki, J.: Z bada\u0144 nad sylogistyka\u0327 Arystotelesa (Invistigations on Aristotle\u2019s Syllogistic). Prace Wroc\u0142awskiego Towarzystwa Naukowego (B) 6, (1948)"},{"key":"30_CR26","unstructured":"S\u0142upecki, J.: Funkcja \u0141ukasiewicza (The \u0141ukasiewicz function). Seria B. No. 3, Zeszyty Naukowe Uniwersytetu Wroc\u0142awskiego (Publications of the Wroc\u0142aw University), Matematyka-Fizyka-Astronomia II, 33\u201340 (1959)"},{"issue":"3","key":"30_CR27","first-page":"38","volume":"1","author":"J. S\u0142upecki","year":"1972","unstructured":"S\u0142upecki J.: \u0141-decidability and decidability. Bull. Sect. Logic. Polish Acad. Sci. 1(3), 38\u201343 (1972)","journal-title":"Bull. Sect. Logic. Polish Acad. Sci."},{"key":"30_CR28","first-page":"61","volume":"10","author":"J. S\u0142upecki","year":"1970","unstructured":"S\u0142upecki J., Bryll G., Wybraniec-Skardowska U.: Pewna teoria r\u00f3wnowa\u017cna teorii system\u00f3w dedukcyjnych Tarskiego (A certain theory equivalent to Tarski\u2019s theory of deductive systems), Zeszyty Naukowe Wy\u017cszej Szkoly Pedagogicznej w Opolu, Seria A, Matematyka. Logika Matematyczna 10, 61\u201367 (1970)","journal-title":"Logika Matematyczna"},{"key":"30_CR29","first-page":"76","volume":"29","author":"J. S\u0142upecki","year":"1971","unstructured":"S\u0142upecki J., Bryll G., Wybraniec-Skardowska U.: Theory of rejected propositions. I. Stud. Logic. 29, 76\u2013123 (1971)","journal-title":"Stud. Logic."},{"key":"30_CR30","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF02120839","volume":"30","author":"J. S\u0142upecki","year":"1972","unstructured":"S\u0142upecki J., Bryll G., Wybraniec-Skardowska U.: Theory of rejected propositions, II. Stud. Logic. 30, 97\u2013107 (1972)","journal-title":"Stud. Logic."},{"key":"30_CR31","unstructured":"Sochacki, R.: Metody refutacyjne w badaniach nad systemami logicznymi (Refutation Methods in Studies on Logical Systems), Wydawnictwo Naukowe Uniwerstetu Opolskiego. Studia i Monografie, Opole (2010)"},{"issue":"1","key":"30_CR32","first-page":"53","volume":"2","author":"M. Spasowski","year":"1973","unstructured":"Spasowski M.: Some connections between Cn, Cn \u22121, dCn. Bull. Sect. Logic. Polish Acad. Sci. 2(1), 53\u201356 (1973)","journal-title":"Bull. Sect. Logic. Polish Acad. Sci."},{"key":"30_CR33","doi-asserted-by":"crossref","unstructured":"Tarski, A.: Funamentale Begriffe der Methodoligie der deductiven Wissenschaften. Monatshefte f\u00fcr Mathematik und Physik, vol. 37, 361\u2013404 (1930) (English translation: Fundamental concepts of the methodology of the deductive sciences. In: [35], 60\u2013109 (Second edition edited and introduced by John Corcoran)","DOI":"10.1007\/BF01696782"},{"key":"30_CR34","unstructured":"Tarski, A.: \u00dcber einige fundamentale Begriffe der Metamathematik. Comptes Rendus des S\u00e9ances De la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie 23, 22\u201329 (1930) (English translation: On some fundamental concepts of metamathematics. In: [35], 30\u201337)"},{"key":"30_CR35","unstructured":"Tarski, A.: Logic, Semantics, Metamatematics. Papers from 1923 to 1938. First edition published by Oxford University Press, Oxford (1956) (translated by J. H. Woodger). Second edition edited and introduced by John Corcoran, Hackett Publishing Company, Indianapolis, Indiana (1983)"},{"issue":"4","key":"30_CR36","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/BF00370211","volume":"48","author":"J. Wole\u0144ski","year":"1989","unstructured":"Wole\u0144ski J.: On comparison of theories by their contents. Stud. Logic. 48(4), 617\u2013622 (1989)","journal-title":"Stud. Logic."},{"issue":"1","key":"30_CR37","first-page":"54","volume":"2","author":"R. W\u00f3jcicki","year":"1973","unstructured":"W\u00f3jcicki R.: Dual counterparts of consequence operation. Bull. Sect. Logic. Polish Acad. Sci. Wroc\u0142aw 2(1), 54\u201357 (1973)","journal-title":"Bull. Sect. Logic. Polish Acad. Sci. Wroc\u0142aw"},{"key":"30_CR38","first-page":"19","volume":"Wroc\u0142aw","author":"U. Wybraniec-Skardowska","year":"1965","unstructured":"Wybraniec-Skardowska, U.: O roli dedukcji w naukach empirycznych (On role of deduction in empirical sciences). Sprawozdania Wroc\u0142awskiego Towarzystwa Naukowego, Wroc\u0142aw, 19\u201320 (1965)","journal-title":"Sprawozdania Wroc\u0142awskiego Towarzystwa Naukowego"},{"key":"30_CR39","unstructured":"Wybraniec-Skardowska, U.: Teoria zda\u0144 odrzuconych (The theory of rejected propositions). In: [45], 5\u2013131"},{"key":"30_CR40","unstructured":"Wybraniec-Skardowska, U.: Badania Jerzego S\u0142upeckiego nad sylogistyka\u0327 Arystotelesa i ich rezonans we wsp\u00f3\u0142czesnej logice (Jerzy S\u0142upecki\u2019s investigations on Aristotle\u2019s syllogistic and their response in the contemporary logic), Zeszyty Naukowe Wy\u017cszej Szko\u0142y In\u017cynierskiej w Opolu, Seria: Matematyka 4(81), 35\u201361 (1983)"},{"key":"30_CR41","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/j.apal.2003.11.018","volume":"127","author":"U. Wybraniec-Skardowska","year":"2004","unstructured":"Wybraniec-Skardowska U.: Foundations for the formalization of metamathematics and axiomatizations of consequence theories. Ann. Pure Appl. Logic 127, 243\u2013266 (2004)","journal-title":"Ann. Pure Appl. Logic"},{"key":"30_CR42","unstructured":"Wybraniec-Skardowska U. (1989) On generalization of approximation spaces. Bull. Polish Acad. Sci. XXVII, 33\u201348"},{"key":"30_CR43","first-page":"113","volume":"27","author":"U. Wybraniec-Skardowska","year":"1992","unstructured":"Wybraniec-Skardowska U.: Unit operation. Zeszyty Wy\u017cszej Szkoy Pedagogicznej w Opolu. Ser. Matematyka 27, 113\u2013129 (1992)","journal-title":"Zeszyty Wy\u017cszej Szkoy Pedagogicznej w Opolu. Ser. Matematyka"},{"key":"30_CR44","unstructured":"Wybraniec-Skardowska, U.: On the notion and function of rejected propositions. Logika 23 (M. Magdziak, J. Zygmunt; Eds.) Acta Universitatis Wratislaviensis, No. 2754, 179\u2013202 (2005)"},{"key":"30_CR45","unstructured":"Wybraniec-Skardowska, U., Bryll, G.: Z bada\u0144 nad teoria\u0327 zda\u0144 odrzuconych (Investigations on the Theory of Rejected Propositions). Zeszyty Naukowe Wy\u017cszej Szko\u0142y Pedagogicznej w Opolu, Seria B, Studia i Monografie, vol. 22, Opole (1969)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-011-0030-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-011-0030-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-011-0030-9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-011-0030-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T14:36:07Z","timestamp":1560263767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-011-0030-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,15]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,11]]}},"alternative-id":["30"],"URL":"https:\/\/doi.org\/10.1007\/s11787-011-0030-9","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,15]]}}}