{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T08:43:46Z","timestamp":1695890626911},"reference-count":19,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":5430,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1992,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In distinction from the well\u2010known double\u2010negation embeddings of the classical logic we consider some variants of single\u2010negation embeddings and describe some classes of superintuitionistic first\u2010order predicate logics in which the classical first\u2010order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations.<\/jats:p>","DOI":"10.1002\/malq.19920380139","type":"journal-article","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T05:49:14Z","timestamp":1180417754000},"page":"409-412","source":"Crossref","is-referenced-by-count":1,"title":["ON SOME INTERPRETATIONS OF CLASSICAL LOGIC"],"prefix":"10.1002","volume":"38","author":[{"given":"Branislav R.","family":"Bori\u010di\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B. R.","family":"Bori\u010di\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","first-page":"1","article-title":"Un'osservazione sul teorema di Minc\u2010Orevkov","volume":"2","author":"Cellucci C.","year":"1969","journal-title":"Bolletino della Unione Matematica Italiana, Ser. 4"},{"key":"e_1_2_1_3_2","volume-title":"Introduction to Mathematical Logic","author":"Church A.","year":"1956"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.2307\/2267456"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2977-2"},{"key":"e_1_2_1_6_2","first-page":"183","article-title":"Sur quelques points de la logique de M. Brouwer.","volume":"15","author":"Glivenko V. I.","year":"1929","journal-title":"Bull. Acad. Sci. Belg."},{"key":"e_1_2_1_7_2","first-page":"34","article-title":"Zur intuitionistischen Arithmetik und Zahlentheorie","volume":"4","author":"G\u00f6del K.","year":"1932","journal-title":"Ergebnisse Math. Koll."},{"key":"e_1_2_1_7_3","first-page":"286","volume-title":"Collected Works","author":"G\u00f6del K.","year":"1986"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.3792\/pja\/1195521462"},{"key":"e_1_2_1_9_2","first-page":"646","article-title":"On the principle of excluded middle","volume":"32","author":"Kolmogorov A. N.","year":"1925","journal-title":"Math. Sbornik"},{"key":"e_1_2_1_9_3","first-page":"414","volume-title":"From Frege to G\u00f6del","author":"van Heijenoort J.","year":"1967"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.2307\/2964291"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0027763000010023"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274322"},{"key":"e_1_2_1_13_2","first-page":"553","article-title":"An extension of the theorems of Glivenko and Kreisel to a certain class of formulas of predicate logic (in Russian)","volume":"152","author":"Minc G. E.","year":"1963","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"e_1_2_1_13_3","first-page":"1365","volume":"4","year":"1963","journal-title":"Soviet Math. Doklady"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.2977\/prims\/1195192964"},{"key":"e_1_2_1_15_2","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1017\/S0027763000012083","article-title":"On universal character of the primitive logic","volume":"27","author":"Ono K.","year":"1966","journal-title":"Nagoya Math. J."},{"key":"e_1_2_1_16_2","first-page":"215","volume-title":"Contributions to Mathematical Logic","author":"Prawitz D.","year":"1965"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.2307\/2964756"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19920380139","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19920380139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T20:36:27Z","timestamp":1695846987000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19920380139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["10.1002\/malq.19920380139"],"URL":"https:\/\/doi.org\/10.1002\/malq.19920380139","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,1]]}}}