{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,22]],"date-time":"2026-02-22T00:05:08Z","timestamp":1771718708843,"version":"3.50.1"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1989,12,1]],"date-time":"1989-12-01T00:00:00Z","timestamp":628473600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1989,12]]},"DOI":"10.1007\/bf00370199","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:56:22Z","timestamp":1099439782000},"page":"449-459","source":"Crossref","is-referenced-by-count":16,"title":["The method of axiomatic rejection for the intuitionistic propositional logic"],"prefix":"10.1007","volume":"48","author":[{"given":"Rafal","family":"Dutkiewicz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"E. W. Beth, The Foundations of Mathematics, Amsterdam, 1959."},{"key":"CR2","unstructured":"M. C. Fitting, Intuitionistic Logic. Model Theory and Forcing, Amsterdam, London, 1969."},{"key":"CR3","first-page":"189","volume":"23","author":"J. ?ukasiewicz","year":"1921","unstructured":"J. ?ukasiewicz, Logika dwuwarto?ciowa, Przegl?d Filozoficzny 23 (1921), pp. 189?205.","journal-title":"Przegl?d Filozoficzny"},{"key":"CR4","unstructured":"J. ?ukasiewicz, O sylogistyce Arystotelesa, Sprawozdania z czynno?ci i posiedze? Polskiej Akademii Umiej?tno?ci 44 (1939). (See also [7], pp. 220?227)."},{"key":"CR5","unstructured":"J. ?ukasiewicz, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, Oxford, 1951."},{"key":"CR6","unstructured":"J. ?ukasiewicz, On the Intuitionistic Theory of Deduction, Indagationes Mathematicae, Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, 3 (1952), pp. 202?212."},{"key":"CR7","unstructured":"J. ?ukasiewicz, Z zagadnie? logiki i filozofii, Warszawa, 1969."},{"key":"CR8","unstructured":"M. Maduch, O ?ukasiewiczowskich regulach odrzucania, Zeszyty Naukowe Wy?szej Szkoly Pedagogicznej w Opolu, Matematyka 13 (1972), pp. 43?49."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01881550","volume":"45","author":"L. L. Maksimova","year":"1986","unstructured":"L. L. Maksimova, On maximal intermediate logics with the disjunction property, Studia Logica 45 (1986); pp. 69?75.","journal-title":"Studia Logica"},{"key":"CR10","unstructured":"H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Warszawa, 1970."},{"key":"CR11","unstructured":"D. Scott, Completeness proofs for the intuitionistic sentential calculus, Summaries of talks presented at the Summer Institute of Symbolic Logic in 1957 at Cornell University, pp. 231?242."},{"key":"CR12","first-page":"33","volume":"3","author":"J. S?upecki","year":"1959","unstructured":"J. S?upecki, Funkcja ?ukasiewicza, Zeszyty Naukowe Uniwersytetu Wroc?awskiego, Seria B, 3 (1959), pp. 33?40.","journal-title":"Zeszyty Naukowe Uniwersytetu Wroc?awskiego"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF02121863","volume":"29","author":"J. S?upecki","year":"1972","unstructured":"J. S?upecki, G. Bryll and U. Wybraniec-Skardowska, Theory of rejected propositions, Studia Logica 29 (1972), pp. 75?115.","journal-title":"Studia Logica"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF02123824","volume":"32","author":"J. S?upecki","year":"1973","unstructured":"J. S?upecki, G. Bryll, ?-decidability of Lewis system S5, Studia Logica 32 (1973), pp. 99?106.","journal-title":"Studia Logica"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BF02121854","volume":"29","author":"W. Staszek","year":"1972","unstructured":"W. Staszek, On proofs of rejection, Studia Logica 29 (1972), pp. 17?25.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370199.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370199\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370199","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T01:44:03Z","timestamp":1554774243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370199"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,12]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,12]]}},"alternative-id":["BF00370199"],"URL":"https:\/\/doi.org\/10.1007\/bf00370199","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,12]]}}}