{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T01:09:01Z","timestamp":1781053741221,"version":"3.54.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1995,2]]},"DOI":"10.1007\/bf01058531","type":"journal-article","created":{"date-parts":[[2005,1,29]],"date-time":"2005-01-29T18:35:09Z","timestamp":1107023709000},"page":"33-60","source":"Crossref","is-referenced-by-count":20,"title":["On Ja\u015bkowski's discussive logics"],"prefix":"10.1007","volume":"54","author":[{"given":"Newton C. A.","family":"da Costa","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francisco A.","family":"Doria","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Arruda, A. I., 1980, ?A survey of paraconsistent logic?, in A. I. Arruda, N. C. A. da Costa and R. Chuaqui (eds.),Mathematical Logic in Latin America, North-Holland, 1 ? 41.","DOI":"10.1016\/S0049-237X(09)70477-X"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Arruda, A. I., 1989, ?Aspects of the historical development of paraconsistent logic?, in G. Priest, R. Routley and J. Norman (eds.),Paraconsistent Logic, Philosophia Verlag, 99 ? 130.","DOI":"10.2307\/j.ctv2x8v8c7.6"},{"key":"CR3","unstructured":"Church, A., 1956,Introduction to Mathematical Logic, Princeton University Press."},{"key":"CR4","first-page":"7","volume":"4","author":"N. C. A. Costa da","year":"1975","unstructured":"da Costa, N. C. A., 1975, ?Remarks on Ja?kowski's discussive logic?,Rep. Math. Logic 4, 7?16.","journal-title":"Rep. Math. Logic"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"da Costa, N. C. A., 1989a, ?Logic and pragmatic truth?, in J. E. Fenstad et al. (eds.),Logic, Methodology and Philosophy of Science VIII, Elsevier, 247 ? 261.","DOI":"10.1016\/S0049-237X(08)70049-1"},{"issue":"8","key":"CR6","first-page":"29","volume":"83","author":"N. C. A. Costa da","year":"1989","unstructured":"da Costa, N. C. A., 1989b, ?Logcis that are both paraconsistent and paracomplete?,Atti Acad. Lincei Rend. Fis. 83 (8), 29?32.","journal-title":"Atti Acad. Lincei Rend. Fis."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF00166367","volume":"29","author":"N. C. A. Costa da","year":"1988","unstructured":"da Costa, N. C. A. andR. Chuaqui, 1988, ?On Suppes' Set-Theoretic Predicates?,Erkenntnis 29, 95?112.","journal-title":"Erkenntnis"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"da Costa, N. C. A. andR. Chuaqui, 1990, ?The logic of pragmatic truth?, to appear.","DOI":"10.1016\/S0049-237X(08)70049-1"},{"key":"CR9","unstructured":"da Costa, N. C. A. andF. A. Doria, 1990, ?Ja?kowski's logic and the foundations of physics?, preprint."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1007\/BF00671484","volume":"30","author":"N. C. A. Costa da","year":"1991","unstructured":"da Costa, N. C. A. andF. A. Doria, 1991, ?Undecidability and Incompleteness in Classical Mechanics?,International Journal of Theoretical Physics 30, 1041?1073.","journal-title":"International Journal of Theoretical Physics"},{"key":"CR11","unstructured":"da Costa, N. C. A. andF. A. Doria, 1992a, ?Structures, Suppes Predicates and Boolean-Valued Models in Physics?, to appear in J. Hintikka (ed.),Festschrift in Honor of Prof. V. Smirnov on his 60th Birthday."},{"key":"CR12","volume-title":"The Space of Mathematics","author":"N. C. A. Costa da","year":"1992","unstructured":"da Costa, N. C. A. andF. A. Doria, 1992b, ?Suppes Predicates for Classical Physics?, in J. Echeverr\ufffda et al. (eds.),The Space of Mathematics Walter de Gruyter, Berlin-New York."},{"key":"CR13","first-page":"901","volume":"50","author":"N. C. A. Costa da","year":"1992","unstructured":"da Costa, N. C. A. andF. A. Doria, 1992c, ?On the incompleteness of axiomatized models for the empirical sciences?,Philosophica 50, 901?928.","journal-title":"Philosophica"},{"key":"CR14","unstructured":"da Costa, N. C. A. andF. A. Doria, 19XX,Metamathematics of Physics, to appear."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1007\/BF00673682","volume":"29","author":"N. C. A. Costa da","year":"1990","unstructured":"da Costa, N. C. A., F. A. Doria andJ. A. de Barros, 1990, ?A Suppes Predicate for General Relativity and Set-Theoretically Generic Spacetimes?,International Journal of Theoretical Physics 29, 935?961.","journal-title":"International Journal of Theoretical Physics"},{"key":"CR16","first-page":"551","volume":"26","author":"N. C. A. Costa da","year":"1968","unstructured":"da Costa, N. C. A. andL. Dubikajtis, 1968, ?Sur la logique discoursive de Ja?kowski?,Bull. Acad. Polonaise des Sciences 26, 551?557.","journal-title":"Bull. Acad. Polonaise des Sciences"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"da Costa, N. C. A. andL. Dubikajtis, 1977, ?On Ja?kowski's discussive logic?, in A. I. Arruda, N. C. A. da Costa and R. Chuaqui (eds.),Non-Classical Logic, Model Theory and Computability, North-Holland, 37 ? 56.","DOI":"10.1016\/S0049-237X(08)70644-X"},{"key":"CR18","unstructured":"da Costa, N. C. A. andD. Marconi, 1987, ?An overview of paraconsistent logic in the 80s?,Monografias da Soc. Paranaense de Matem\ufffdtica 5."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"891","DOI":"10.1007\/BF01889304","volume":"19","author":"M. L. Dalla Chiara","year":"1989","unstructured":"Dalla Chiara, M. L., andR. Giuntini, 1989, ?Paraconsistent Quantum Logics?,Foundations of Physics 19, 891?904.","journal-title":"Foundations of Physics"},{"key":"CR20","unstructured":"Dalla Chiara, M. L. andG. Toraldo di Francia, 1981,Le Teorie Fisiche, Boringhieri."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF02314422","volume":"34","author":"T. T. Furmanowski","year":"1975","unstructured":"T. Furmanowski, T., 1975, ?Remarks on discussive propositional calculus?,Studia Logica 34, 39?43.","journal-title":"Studia Logica"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"129","DOI":"10.2307\/2268751","volume":"21","author":"L. Henkin","year":"1956","unstructured":"L. Henkin andR. Montague, 1956, ?On the definition of formal deduction?,Journal of Symbolic Logic 21, 129?136.","journal-title":"Journal of Symbolic Logic"},{"key":"CR23","unstructured":"Hughes, G. H. andM. J. Cresswell, 1968,An Introduction to Modal Logic, Methuen."},{"key":"CR24","first-page":"55","volume":"5","author":"S. Ja?kowski","year":"1948","unstructured":"Ja?kowski, S., 1948, ?Rachunek zda? dla system\ufffdw dedukcyjnych sprzecznych?,Studia Soc. Sci. Torunensis 5, 55?77.","journal-title":"Studia Soc. Sci. Torunensis"},{"key":"CR25","first-page":"171","volume":"8","author":"S. Ja?kowski","year":"1949","unstructured":"Ja?kowski, S., 1949, ?O koniunkcji dyskusyjnej w rachunku zda? dla system\ufffdw dedukcyjnych sprzecznych?,Studia Soc. Sci. Torunensis 8, 171?172.","journal-title":"Studia Soc. Sci. Torunensis"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF02134311","volume":"24","author":"S. Ja?kowski","year":"1969","unstructured":"Ja?kowski, S., 1969, ?Propositional calculus for contradictory deductive systems?,Studia Logica 24, 143?157.","journal-title":"Studia Logica"},{"key":"CR27","unstructured":"Kleene, S. C., 1967,Mathematical Logic, Wiley."},{"key":"CR28","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BF02282553","volume":"27","author":"J. Kotas","year":"1971","unstructured":"Kotas, J., 1971, ?On the algebra of classes of formul\ufffd of Ja?kowski's discussive system?,Studia Logica 27, 81?91.","journal-title":"Studia Logica"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02120494","volume":"28","author":"J. Kotas","year":"1974","unstructured":"Kotas, J., 1974, ?The axiomatization of Ja?kowski's discussive system?,Studia Logica 28, 195?200.","journal-title":"Studia Logica"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF02123384","volume":"24","author":"J. Kotas","year":"1975","unstructured":"Kotas, J., 1975, ?Discussive sentential calculus of Ja?kowski?,Studia Logica 24, 149?168.","journal-title":"Studia Logica"},{"key":"CR31","doi-asserted-by":"crossref","first-page":"201","DOI":"10.2307\/2273956","volume":"51","author":"I. Mikenberg","year":"1986","unstructured":"I. Mikenberg, N. C. A. da Costa andR. Chuaqui, 1986, ?Pragmatic truth and approximation to truth?,Journal of Symbolic Logic 51, 201?221.","journal-title":"Journal of Symbolic Logic"},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"G. R. Priest, R. Routley andJ. Norman (eds.), 1989,Paraconsistent Logic, Philosophia Verlag.","DOI":"10.2307\/j.ctv2x8v8c7.8"},{"key":"CR33","unstructured":"Quine, W. v. O., 1950,Methods of Logic, Holt."},{"key":"CR34","unstructured":"Rescher, N. andR. Brandon, 1980,The Logic of Inconsistency, Blackwell."},{"key":"CR35","unstructured":"Shoenfield, J., 1967,Mathematical Logic, Addison-Wesley."},{"key":"CR36","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1038\/352664a0","volume":"352","author":"I. Stewart","year":"1991","unstructured":"Stewart, I., 1991, Deciding the undecidable,Nature 352, 664?665.","journal-title":"Nature"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01058531.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01058531\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01058531","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T21:32:36Z","timestamp":1682976756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01058531"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["BF01058531"],"URL":"https:\/\/doi.org\/10.1007\/bf01058531","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,2]]}}}