{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T08:11:33Z","timestamp":1695888693021},"reference-count":7,"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>The aim of the paper is to show that topoi are useful in the categorial analysis of the constructive logic with strong negation. In any topos \u03f5 we can distinguish an object \u039b and its truth\u2010arrows such that sets \u03f5(<jats:italic>A<\/jats:italic>, \u039b) (for any object <jats:italic>A<\/jats:italic>) have a Nelson algebra structure. The object \u039b is defined by the categorial counterpart of the algebraic <jats:sc>FIDEL\u2010VAKARELOV<\/jats:sc> construction. Then it is possible to define the universal quantifier morphism which permits us to make the first order predicate calculus. The completeness theorem is proved using the Kripke\u2010type semantic defined by <jats:sc>THOMASON<\/jats:sc>.<\/jats:p>","DOI":"10.1002\/malq.19920380146","type":"journal-article","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T05:51:19Z","timestamp":1180417879000},"page":"509-519","source":"Crossref","is-referenced-by-count":1,"title":["TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION"],"prefix":"10.1002","volume":"38","author":[{"given":"Barbara","family":"Klunder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Klunder","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":"99","volume-title":"Mathematical Logic, Proc. First Brazilian Conference Campinas 1977","author":"Fidel M. M.","year":"1978"},{"key":"e_1_2_1_3_2","volume-title":"Topoi: The Categorial Analysis of Logic","author":"Goldblatt R.","year":"1984"},{"key":"e_1_2_1_4_2","first-page":"234","volume-title":"Constructivity in Mathematics","author":"Rasiowa H.","year":"1958"},{"key":"e_1_2_1_5_2","volume-title":"An Algebraic Approach to Non\u2010Classical Logics","author":"Rasiowa H.","year":"1974"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02121118"},{"key":"e_1_2_1_7_2","unstructured":"Sendlewski A. Equationally definable classes of Nelson algebras and their connection with classes of Heyting algebras. Preprint No 2\/84 University of Toru\u0144."},{"key":"e_1_2_1_8_2","first-page":"247","article-title":"A semantical study of constructible falsity","volume":"15","author":"Thomason R. H.","year":"1969","journal-title":"This Zeitschrift"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19920380146","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19920380146","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T20:35:31Z","timestamp":1695846931000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19920380146"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["10.1002\/malq.19920380146"],"URL":"https:\/\/doi.org\/10.1002\/malq.19920380146","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]]}}}