{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T23:53:51Z","timestamp":1648943631998},"reference-count":11,"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\/bf00370202","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:56:22Z","timestamp":1099439782000},"page":"479-494","source":"Crossref","is-referenced-by-count":1,"title":["Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term"],"prefix":"10.1007","volume":"48","author":[{"given":"Czes?aw","family":"Lejewski","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"150","volume":"1","author":"C. Lejewski","year":"1958","unstructured":"Lejewski (1958a)C. Lejewski, On Le?niewski's ontology, Ratio 1 (1958), pp. 150?176.","journal-title":"Ratio"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF02126748","volume":"8","author":"C. Lejewski","year":"1958","unstructured":"Lejewski (1958b)C. Lejewski, On implicational definitions, Studia Logica 8 (1958), pp. 189?208.","journal-title":"Studia Logica"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/BF02120669","volume":"36","author":"C. Lejewski","year":"1977","unstructured":"Lejewski (1977)C. Lejewski, Systems of Le?niewski's ontology with the functor of weak inclusion as the only primitive term, ibid. 36 (1977), pp. 323?349.","journal-title":"Studia Logica"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-14-1-1-81","volume":"14","author":"S. Le?niewski","year":"1929","unstructured":"Le?niewski (1929)S. Le?niewski, Grundz\ufffdge eines neuen Systems der Grundlagen der Mathematik, Fundamenta Mathematicae 14 (1929), pp. 1?81.","journal-title":"Fundamenta Mathematicae"},{"key":"CR5","first-page":"111","volume":"23","author":"S. Le?niewski","year":"1930","unstructured":"Le?niewski (1930)S. Le?niewski, \ufffdber die Grundlagen der Ontologie, Comptes Rendus des S\ufffdances de la Soci\ufffdt\ufffd des Sciences et des Lettres de Varsovie, Classe III, 23 (1930), pp. 111?132.","journal-title":"Comptes Rendus des S\ufffdances de la Soci\ufffdt\ufffd des Sciences et des Lettres de Varsovie, Classe III"},{"key":"CR6","first-page":"289","volume":"24","author":"S. Le?niewski","year":"1931","unstructured":"Le?niewski (1931) S. Le?niewski, \ufffdber Definitionen in der sogenannten Theorie der Deduktion, ibid. 24 (1931), pp. 289?309.","journal-title":"Comptes Rendus des S\ufffdances de la Soci\ufffdt\ufffd des Sciences et des Lettres de Varsovie, Classe III"},{"key":"CR7","volume-title":"Polish Logic 1920?1939","author":"S. Le?niewski","year":"1967","unstructured":"Le?niewski (1967)S. Le?niewski, On definitions in the so-called theory of deduction, translation of Le?niewski (1931) by E. C. Luschei Polish Logic 1920?1939, ed. Storrs McCall, The Clarendon Press, Oxford, 1967."},{"key":"CR8","unstructured":"?ukasiewicz (1937) J. ?ukasiewicz, Wobronie logistyki (In Defence of Logistic), Studia Gnesnensia 15 (1937); English translation by O. Wojtasiewicz in ?ukasiewicz (1970), pp. 236?249."},{"key":"CR9","unstructured":"?ukasiewicz (1941) J. ?ukasiewicz, Die Logik und das Grundlagenproblem, Les entretiens de Zurich sur les fondements et la m\ufffdthode des sciences math\ufffdmatiques 6?9 Decembre 1938, Zurich 1941, pp. 82?108; English translation by O. Wojtasiewicz in ?ukasiewicz (1970), pp. 278?294."},{"key":"CR10","unstructured":"J. ?ukasiewicz, The shortest axiom of the implicational calculus of propositions, Proceedings of The Royal Irish Academy, Vol. 52, Section A, No. 3, pp. 25?33; also in ?ukasiewicz (1970), pp. 295?310."},{"key":"CR11","volume-title":"Selected Works","author":"J. ?ukasiewicz","year":"1970","unstructured":"?ukasiewicz (1970)J. ?ukasiewicz Selected Works, ed. L. Borkowski, Amsterdam ? Warszawa, 1970."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370202.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370202\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370202","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\/BF00370202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,12]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,12]]}},"alternative-id":["BF00370202"],"URL":"https:\/\/doi.org\/10.1007\/bf00370202","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,12]]}}}