{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:01:17Z","timestamp":1759147277809},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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]]},"DOI":"10.1007\/bf01058534","type":"journal-article","created":{"date-parts":[[2005,1,29]],"date-time":"2005-01-29T18:35:09Z","timestamp":1107023709000},"page":"89-128","source":"Crossref","is-referenced-by-count":9,"title":["Algebraic study of Sette's maximal paraconsistent logic"],"prefix":"10.1007","volume":"54","author":[{"given":"Alexej P.","family":"Pynko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"1","volume-title":"Mathematical Logic in Latin America","author":"A. I. Arruda","year":"1980","unstructured":"Arruda, A. I., 1980, ?A survey of paraconsistent logic? in: A.I. Arruda, R. Chuaqui and N.C.A. da Costa (eds.),Mathematical Logic in Latin America, North-Holland Publishing Company, Amsterdam, 1?41."},{"key":"CR2","volume-title":"Distributive lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes, R. andP. Dwinger, 1974,Distributive lattices, University of Missouri Press, Columbia (Missouri)."},{"key":"CR3","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1967","unstructured":"Birkhoff, G., 1967Lattice Theory, 3rd Edition, American Mathematical Society, Providence, Rhode Island.","edition":"3rd Edition"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Blok, W. J. andD. Pigozzi, 1989, ?Algebraizable logics?Memoirs of the American Mathematical Society 396.","DOI":"10.1090\/memo\/0396"},{"key":"CR5","first-page":"43","volume":"102","author":"S. L. Bloom","year":"1973","unstructured":"Bloom, S. L. andD.J. Brown, 1973, ?Classical Abstract Logics?,Rozprawy Matematyczne (Dissertations Mathematicae) 102, 43?52.","journal-title":"Rozprawy Matematyczne (Dissertations Mathematicae)"},{"key":"CR6","first-page":"9","volume":"102","author":"D. J. Brown","year":"1973","unstructured":"Brown, D. J. andR. Suszko, 1973, ?Abstract Logics?,Rozprawy Matematyczne (Dissertations Mathematicae) 102, 9?41.","journal-title":"Rozprawy Matematyczne (Dissertations Mathematicae)"},{"key":"CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S. Burris","year":"1981","unstructured":"Burris, S. andH.P. Sankappanavar, 1981,A Course in Universal Algebra, Springer-Verlag, New York."},{"key":"CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-8399-1","volume-title":"Universal Algebra","author":"P. M. Cohn","year":"1981","unstructured":"Cohn, P. M., 1981,Universal Algebra, 2nd Edition, D. Reidel Publishing Company, Dordrecht.","edition":"2nd Edition"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF02584057","volume":"40","author":"J. Czelakowski","year":"1981","unstructured":"Czelakowski, J., 1981, ?Equivalential logics? (I), (II),Studia Logica 40, 227?236, 335 ? 372.","journal-title":"Studia Logica"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF00370428","volume":"44","author":"J. Czelakowski","year":"1985","unstructured":"Czelakowski J., 1985, ?Algebraic aspects of deduction theorems?,Studia Logica 44, 369?387.","journal-title":"Studia Logica"},{"key":"CR11","first-page":"5","volume":"6","author":"N. C. A. Costa da","year":"1989","unstructured":"da Costa, N. C. A. andD. Marconi, 1989, ?An Overview of Paraconsistent Logic in the 80's?,The Journal of Non-Classical Logic 6, 5?32.","journal-title":"The Journal of Non-Classical Logic"},{"key":"CR12","first-page":"89","volume":"7","author":"I. M. L. D'Ottaviano","year":"1990","unstructured":"D'Ottaviano, I. M. L., 1990, ?On the development of paraconsistent logic and da Costa's work?The Journal of Non-Classical Logic 7, 89?152.","journal-title":"The Journal of Non-Classical Logic"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"J.M. Font, andV. Verd\ufffd, 1988, ?Abstract characterization of a four-valued logic?, in:Proceedings of the 18th International Symposium on Multiple-Valued Logic, Palma de Mallorca, 389?396.","DOI":"10.1109\/ISMVL.1988.5200"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"1042","DOI":"10.2307\/2274764","volume":"54","author":"J. M. Font","year":"1989","unstructured":"Font, J. M. andV. Verd\ufffd, 1989, ?A first approach to abstract modal logics?,The Journal of Symbolic Logic 54, 1042?1062.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00370680","volume":"50","author":"J. M. Font","year":"1991","unstructured":"Font, J. M. andV. Verd\ufffd, 1991, ?Algebraic Logic for Classical Conjunction and Disjunction?,Studia Logica 50, 391?419.","journal-title":"Studia Logica"},{"key":"CR16","volume-title":"Lattice Theory. First concepts and distributive lattices","author":"G. Gr\ufffdtzer","year":"1871","unstructured":"Gr\ufffdtzer, G., 1871,Lattice Theory. First concepts and distributive lattices, W.H. Freeman and Company, San Francisco."},{"key":"CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\ufffdtzer","year":"1979","unstructured":"Gr\ufffdtzer, G., 1979,Universal Algebra, 2nd Edition, Springer-Verlag, Berlin.","edition":"2nd Edition"},{"key":"CR18","first-page":"163","volume-title":"Contributions to Mathematical Logic","author":"R. Harrop","year":"1968","unstructured":"Harrop, R., 1968, ?Some forms of models of propositional calculi?, in: H.A. Schmidt, K. Sch\ufffdtte and H.J. Thiele (eds.),Contributions to Mathematical Logic, North-Holland Publishing Company, Amsterdam, 163?174."},{"key":"CR19","first-page":"79","volume":"7","author":"R. A. Lewin","year":"1990","unstructured":"Lewin, R. A., I.F. Mikenberg andM.G. Schwarse, 1990, ?Algebraization of paraconsistent logicP 1?,The Journal of Non-Classical Logic 7, 79?88.","journal-title":"The Journal of Non-Classical Logic"},{"key":"CR20","first-page":"177","volume":"20","author":"J. Lo?","year":"1958","unstructured":"Lo?, J. andR. Suszko, 1958, ?Remarks on sentential logics?,Indagationes Mathematicae 20, 177?183.","journal-title":"Indagationes Mathematicae"},{"key":"CR21","volume-title":"Introduction to Mathematical logic","author":"E. Mendelson","year":"1979","unstructured":"Mendelson, E., 1979,Introduction to Mathematical logic, 2nd Edition, D. Van Nostrand Company, New York.","edition":"2nd Edition"},{"volume-title":"Paraconsistent Logic. Essays on the Inconsistent","year":"1989","key":"CR22","unstructured":"Priest, G., R. Routley andJ. Norman (eds.), 1989,Paraconsistent Logic. Essays on the Inconsistent, Philosophia Verlag, M\ufffdnchen."},{"key":"CR23","unstructured":"A.P. Pynko, ?Abstract non-pseudo-axiomatic logics?, Manuscript."},{"key":"CR24","volume-title":"An Algebraic Approach to Non-Classical Logics","author":"H. Rasiowa","year":"1974","unstructured":"Rasiowa, H., 1974,An Algebraic Approach to Non-Classical Logics, North-Holland Publishing Company, Amsterdam."},{"key":"CR25","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H. andR. Sikorski, 1963,The Mathematics of Metamathematics, Pa?twowe Wydawnictwo Naukowe, Warszawa."},{"key":"CR26","first-page":"173","volume":"18","author":"A. M. Sette","year":"1973","unstructured":"Sette, A. M., 1973, ?On the propositional calculusP 1?,Mathematica Japonica 18, 173?180.","journal-title":"Mathematica Japonica"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Smiley, T., ?The independence of connectives?,The Journal of Symbolic Logic 27, 426 ? 436.","DOI":"10.2307\/2964550"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02123806","volume":"32","author":"R. W\ufffdjcicki","year":"1973","unstructured":"W\ufffdjcicki, R., 1973, ?Matrix approach in methodology of sentential calculi?,Studia Logica 32, 7?37.","journal-title":"Studia Logica"},{"key":"CR29","volume-title":"Lectures on Propositional Calculi","author":"R. W\ufffdjcicki","year":"1984","unstructured":"W\ufffdjcicki, R., 1984,Lectures on Propositional Calculi, Ossolineum, Wroclaw."},{"key":"CR30","volume-title":"Theory of Logical Calculi. Basic Theory of Consequence Operations, Synthese Library, Vol.199","author":"R. W\ufffdjcicki","year":"1988","unstructured":"W\ufffdjcicki, R., 1988,Theory of Logical Calculi. Basic Theory of Consequence Operations, Synthese Library, Vol.199, Kluwer Academic Publishers, Dordrecht."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01058534.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01058534\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01058534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T21:32:43Z","timestamp":1682976763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01058534"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF01058534"],"URL":"https:\/\/doi.org\/10.1007\/bf01058534","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1995]]}}}