{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:37:27Z","timestamp":1759333047911,"version":"3.32.0"},"reference-count":142,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,10,20]],"date-time":"2006-10-20T00:00:00Z","timestamp":1161302400000},"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":[[2006,10,30]]},"DOI":"10.1007\/s11225-006-9004-y","type":"journal-article","created":{"date-parts":[[2006,10,19]],"date-time":"2006-10-19T09:24:31Z","timestamp":1161249871000},"page":"105-127","source":"Crossref","is-referenced-by-count":9,"title":["Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation"],"prefix":"10.1007","volume":"84","author":[{"given":"Dimiter","family":"Vakarelov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,10,20]]},"reference":[{"key":"9004_CR1","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1002\/malq.19880340502","volume":"34","author":"S. Akama","year":"1988","unstructured":"Akama, S., \u2018On the proof method for constructive falsity\u2019, Z. Math. Logik Grundlagen Math., 34 (1988), 385\u2013392.","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"9004_CR2","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1305\/ndjfl\/1093637767","volume":"29","author":"S. Akama","year":"1989","unstructured":"Akama, S., \u2018Constructive predicate logic with strong negation and model theory\u2019, Notre Dame J. Form. Logic, 29 (1989), 18\u201327.","journal-title":"Notre Dame J. Form. Logic"},{"key":"9004_CR3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF00263542","volume":"19","author":"S. Akama","year":"1990","unstructured":"Akama, S., \u2018Subformula semantics for strong negation systems\u2019, J. Phil. Logic, 19 (1990), 217\u2013226.","journal-title":"J. Phil. Logic"},{"key":"9004_CR4","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BFb0027403","volume-title":"TABLEAUX'97: Automated Reasoning with Analitic Tableaux and Related Methods","author":"S. Akama","year":"1997","unstructured":"Akama, S., \u2018Tableaux for logic programming with strong negation\u2019, in D.Galmiche (ed.), TABLEAUX'97: Automated Reasoning with Analitic Tableaux and Related Methods, Springer, Berlin, 1997, pp. 31\u201342."},{"key":"9004_CR5","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-94-011-5638-7_7","volume-title":"Logic, Language and Computation","author":"S. Akama","year":"1997","unstructured":"Akama, S., \u2018On Constructive Modality\u2019, in S. Akama (ed.), Logic, Language and Computation, Kluwer Academic Publishers, Dordrecht, 1997, pp. 143\u2013158."},{"key":"9004_CR6","doi-asserted-by":"crossref","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A. Almukdad","year":"1984","unstructured":"Almukdad, A., and D. Nelson, \u2018Constructible Falsity and Inexact Predicates\u2019, J. Symbolic Logic, 49 (1984), 231-233.","journal-title":"J. Symbolic Logic"},{"key":"9004_CR7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O. Arieli","year":"1996","unstructured":"Arieli, O., and A. Avron, \u2018Reasoning with logical bilattices\u2019, Journal of Logic Language and Information, 5 (1996), 25\u201363.","journal-title":"Journal of Logic Language and Information"},{"key":"9004_CR8","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"Arieli, O., and A. Avron, \u2018The Value of the Four Values\u2019, newblock Artificial Intelligence, 102 (1998), 97\u2013141.","journal-title":"Artificial Intelligence"},{"key":"9004_CR9","doi-asserted-by":"crossref","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A. Avron","year":"1991","unstructured":"Avron, A., \u2018Natural 3-valued Logics\u2019, Journalof Symbolic Logic, 56 (1991), 276\u2013294.","journal-title":"Journalof Symbolic Logic"},{"key":"9004_CR10","unstructured":"Avron, A., \u2018Negation: two points of view\u2019, in D. Gabbay and H. Wansing (eds.), What is Negation? Applied Logic Series, vol. 13 (1999), 3\u201322."},{"key":"9004_CR11","doi-asserted-by":"crossref","unstructured":"Avron, A., \u2018On Negation, Completeness and Consistency\u2019, in D. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic, vol. 9, Kluwer Academic Publishers, 2002, pp. 287\u2013319.","DOI":"10.1007\/978-94-017-0464-9_5"},{"key":"9004_CR12","doi-asserted-by":"crossref","unstructured":"Avron, A., \u2018Tableaux with four Signs as a Unified Framework\u2019, in M.C. Mayer and F. Piri (eds.), Proceedings of TABLEAUX-2003, LNAI No 2796, Springer, 2003, pp. 4\u201316.","DOI":"10.1007\/978-3-540-45206-5_4"},{"key":"9004_CR13","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/j.jal.2004.07.015","volume":"3","author":"A. Avron","year":"2005","unstructured":"Avron, A., \u2018Combining Classical Logic, Paraconsistency and Ralevance\u2019, Journal of Applied Logic, 3 (2005), 133\u2013160.","journal-title":"Journal of Applied Logic"},{"key":"9004_CR14","doi-asserted-by":"crossref","unstructured":"Avron, A., \u2018Non-deterministic Matrices and Modular semantics of Rules\u2019, in J.Y. Beziau (ed.), Logica Universalis, Birkh\u00fcser Verlag, 2005, pp. 149\u2013167.","DOI":"10.1007\/3-7643-7304-0_9"},{"key":"9004_CR15","doi-asserted-by":"crossref","unstructured":"Avron, A., \u2018Non-deterministic Semantics for Paraconsistent C-systems\u2019, in L. Godo (ed.), Proceedings of 8-th ECQARU, LNAI No 3571, Springer, 2005, pp. 625\u2013637.","DOI":"10.1007\/11518655_53"},{"issue":"2\u20133","key":"9004_CR16","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/s11225-005-8468-5","volume":"80","author":"A. Avron","year":"2005","unstructured":"Avron, A., \u2018A non-deterministic view of non-classical negations\u2019, Studia Logica 80, No 2\u20133 (2005), 159\u2013194.","journal-title":"Studia Logica"},{"key":"9004_CR17","first-page":"365","volume":"13","author":"A. Avron","year":"2005","unstructured":"Avron, A., and B. Konikowska, \u2018Multi-valued Calculi for Logics Based on Non-determinism\u2019, Logical Journal of the IJPL, 13 (2005), 365\u2013387.","journal-title":"Logical Journal of the IJPL"},{"key":"9004_CR18","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D., \u2018How Computers Should Think\u2019. in G. Ryle (ed.) Contemporary Aspects of Philosophy, Oriel Press, Stockfield, England, 1977, pp. 30\u201356."},{"key":"9004_CR19","first-page":"7","volume-title":"Modern Use of Multiple-Valued Logic","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D., \u2018A useful four-valued logic\u2019. in G. Epstein and M. Dunn (eds.), Modern Use of Multiple-Valued Logic, Reidel, Dordrecht, 1977, pp. 7\u201337."},{"key":"9004_CR20","first-page":"259","volume":"5","author":"A. Bialinicki-Birula","year":"1957","unstructured":"Bialinicki-Birula, A., and H. Rasiova, \u2018On the representation of quasi-Boolean algebras\u2019, Bull. Ac. Pol. Sci., 5 (1957), 259\u2013261.","journal-title":"Bull. Ac. Pol. Sci."},{"key":"9004_CR21","doi-asserted-by":"crossref","first-page":"287","DOI":"10.4064\/cm-6-1-287-310","volume":"6","author":"A. Bialinicki-Birula","year":"1958","unstructured":"Bialinicki-Birula, A., and H. Rasiova, \u2018On constructible falsity in constructive logic with strong negation\u2019, Colloquium Mathematicum, 6 (1958), 287\u2013310.","journal-title":"Colloquium Mathematicum"},{"key":"9004_CR22","doi-asserted-by":"crossref","first-page":"279","DOI":"10.3792\/pja\/1195521624","volume":"43","author":"D. Brignole","year":"1967","unstructured":"Brignole, D., and A.Monteiro, \u2018Caracterisation des alg\u00e8bres des Nelson par des egalit\u00e8s\u2019, I, II. Proc. Japan. Ac., 43 (1967), 279\u2013283, 284\u2013285.","journal-title":"Proc. Japan. Ac."},{"key":"9004_CR23","doi-asserted-by":"crossref","unstructured":"Carnieli, W.A., and J.Markos, \u2018A taxonomy of C-systems\u2019. in W. A. Carnieli, M.E. Coniglio, and I.L.M. D'Otaviano (eds.), Paraconsistency \u2014 the logical way to be inconsistent, Lecture notes in pure and applied Mathematics, Marcell Dekker, 2002, pp. 1\u201394.","DOI":"10.1201\/9780203910139.pt1"},{"key":"9004_CR24","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/BF01230621","volume":"23","author":"R. Cignoli","year":"1986","unstructured":"Cignoli, R., \u2018The class of Kleene algebras satisfying interpolation preperty and Nelson algebras\u2019. Algebra Universalis, 23 (1986), 262\u2013292.","journal-title":"Algebra Universalis"},{"key":"9004_CR25","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1017\/S1446788700023806","volume":"83","author":"R. Cignioli","year":"1983","unstructured":"Cignioli, R., and M.S. de Gallego, \u2018Dualities for some De Morgan algebras with operators and Lukasiewicz algebras\u2019. J. Austral. Math. Soc., (Ser. A), 83 (1983), 377\u2013393.","journal-title":"J. Austral. Math. Soc., (Ser. A)"},{"key":"9004_CR26","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1093\/bjps\/21.3.269","volume":"21","author":"J.P. Cleave","year":"1970","unstructured":"Cleave, J.P., \u2018The notion of validity in logical systems with inexact predicates\u2019. British J. Philos. Sci., 21 (1970), 269\u2013274.","journal-title":"British J. Philos. Sci."},{"key":"9004_CR27","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1002\/malq.19740201903","volume":"20","author":"J.P. Cleave","year":"1974","unstructured":"Cleave, J.P., \u2018The notion of logical consequence in the logic of inexact predicates\u2019. Z. Mtah. Logik Grundlagen Math., 20 (1974), 307\u2013324.","journal-title":"Z. Mtah. Logik Grundlagen Math."},{"key":"9004_CR28","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-94-009-3639-3_15","volume":"28","author":"J.P. sc Cleave","year":"1987","unstructured":"sc Cleave, J.P., \u2018Logic and inexactness. Stephan K\u00f6rner \u2014 Philosophical analysis and reconstruction\u2019. Contributions to Philosophy, Nijhooff Int. Philos. Ser. 28 (1987), 137\u2013167.","journal-title":"Contributions to Philosophy, Nijhooff Int. Philos. Ser."},{"key":"9004_CR29","unstructured":"Curry, H.B., \u2018A theory of formal deducibility\u2019, Notre Dame Mathematical Lectures, 6, Notre Dame, 1950."},{"key":"9004_CR30","doi-asserted-by":"crossref","first-page":"98","DOI":"10.2307\/2266240","volume":"17","author":"H.B. Curry","year":"1952","unstructured":"Curry, H.B., \u2018On the definition of negation by a fixed proposition in the inferential calculus\u2019, J. Symb. Logic, 17 (1952), 98\u2013104.","journal-title":"J. Symb. Logic"},{"key":"9004_CR31","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2307\/2267456","volume":"17","author":"H. B. Curry","year":"1952","unstructured":"H. B. Curry, \u2018The system LD\u2019, J. Symb. Logic, 17 (1952), 35\u201342.","journal-title":"J. Symb. Logic"},{"issue":"49","key":"9004_CR32","first-page":"3","volume":"35","author":"K. Do\u0161en","year":"1984","unstructured":"Do\u0161en, K., \u2018Negative modal operators in intuitionistic logic\u2019, Publications de L'Institu Mathematique (N.S) 35(49) (1984), 3\u201314.","journal-title":"Publications de L'Institu Mathematique (N.S)"},{"key":"9004_CR33","first-page":"15","volume":"20","author":"K. Do\u0161en","year":"1986","unstructured":"Do\u0161en, K., \u2018Negation as a modal operator\u2019, Reports on Mathematical Logic, 20 (1986), 15\u201327.","journal-title":"Reports on Mathematical Logic"},{"key":"9004_CR34","first-page":"85","volume-title":"Essays on Philisophy and Logic","author":"K. Do\u0161en","year":"1987","unstructured":"Do\u0161en, K., \u2018Negation and Impossibility\u2019, in J. Perzanowski (ed.), Essays on Philisophy and Logic, Jagielonian University Press, Cracow, 1987, 85\u201391."},{"key":"9004_CR35","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-94-015-9309-0_4","volume-title":"What is Negation","author":"K. Do\u0161en","year":"1999","unstructured":"Do\u0161en, K., \u2018Negation in the light of modal logic\u2019, in D.Gabbay and H. Wansing (eds.), What is Negation?, Kluwer, Dordrecht, 1999, 77\u201386."},{"issue":"1","key":"9004_CR36","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1026740726955","volume":"66","author":"J.M. Dunn","year":"1980","unstructured":"Dunn, J.M., \u2018Partiality and its Dual\u2019, Studia Logica 66, No. 1(1980), 5\u201340.","journal-title":"Studia Logica"},{"key":"9004_CR37","doi-asserted-by":"crossref","unstructured":"Dunn, J.M., \u2018Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negations and Various Logical Operations\u2019, LNCS, No 478, 1990, 31\u201351.","DOI":"10.1007\/BFb0018431"},{"key":"9004_CR38","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1515\/9783110876802.3","volume-title":"Negation, A notion in Focus","author":"J.M. Dunn","year":"1996","unstructured":"Dunn, J.M., \u2018Generalized ortho negation\u2019, in H. Wansing (ed.), Negation, A notion in Focus, Walter de Gruyer. Berlin. New York, 1996, pp. 3\u201326."},{"key":"9004_CR39","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-94-015-9309-0_2","volume-title":"What is Negation? Applied Logic Series 13","author":"J.M. Dunn","year":"1999","unstructured":"Dunn, J.M., \u2018A comparative study of various model-theoretic treatments of negation: a history of formal negation\u2019, in D. Gabbay and H. Wansing (eds.), What is Negation?, Applied Logic Series 13, Kluwer Academic Publishers, Dordrecht, 1999, pp. 23\u201351."},{"issue":"2\u20133","key":"9004_CR40","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s11225-005-8470-y","volume":"80","author":"J.M. Dunn","year":"2005","unstructured":"Dunn, J.M., and Chunlai Zhou, \u2018Negation in the Context of Gagle Theory\u2019, Studia Logica, 80, vol. 2\u20133 (2005), 235\u2013264.","journal-title":"Studia Logica"},{"key":"9004_CR41","first-page":"99","volume":"39","author":"M.M. Fidel","year":"1978","unstructured":"Fidel, M.M., \u2018An algebraic study of a propositional system of Nelson\u2019, in Mathematical Logic, Proc. of the First Brasilian Conference, Campinas 1977, Lecture Notes in pure Appl. Math., 39 (1978), 99\u2013117.","journal-title":"in Mathematical Logic, Proc. of the First Brasilian Conference, Campinas 1977, Lecture Notes in pure Appl. Math."},{"key":"9004_CR42","unstructured":"Fidel, M.M, \u2018An algebraic study of logic with constructive negation\u2019, Proc. of the Third Brazilian Conf. on Math. Logic, Recife 1979, 1980, pp. 119\u201329."},{"key":"9004_CR43","doi-asserted-by":"crossref","unstructured":"Fitting, M., \u2018Bilattices in logic programming\u2019, in G. Epstein (ed.), Proc. of the 20th Int. Symp. on Multyple-Valued Logic, IEEE Press, 1990, pp. 238\u2013246.","DOI":"10.1109\/ISMVL.1990.122627"},{"issue":"2","key":"9004_CR44","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting, M., \u2018Bilattices and the semantics of logic programming\u2019, Journal of logic programming, 11 (2) (1991), 91\u2013116.","journal-title":"Journal of logic programming"},{"key":"9004_CR45","first-page":"328","volume-title":"Logic, Action and Information","author":"D. Gabbay","year":"1995","unstructured":"Gabbay, D., and H. Wansing, \u2018Negation in Structured Consequence Relations\u2019, in A. Fuhrmann and H. Rott (eds.), Logic, Action and Information, de Gruyter, Berlin, 1995, pp. 328\u2013350."},{"key":"9004_CR46","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1080\/11663081.1999.10510967","volume":"9","author":"G. Gargov","year":"1999","unstructured":"Gargov, G., \u2018Knowledge, uncertainty and ignorance in logic: bilattices and beyond\u2019, Journal of Applied Non-Classical Logics, 9 (1999), 195\u2013283.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9004_CR47","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., and V. Lifschitz, \u2018Classical negation in logic programs and disjunctive databases\u2019, New Generation Computing, 9 (1991), 365\u2013385.","journal-title":"New Generation Computing"},{"key":"9004_CR48","first-page":"256","volume":"4","author":"M. L. Ginsberg","year":"1988","unstructured":"Ginsberg, M. L., \u2018Multiple-valued logics: a uniform approach to reasoning in AI\u2019, Computer Intelligence, 4 (1988), 256\u2013316.","journal-title":"Computer Intelligence"},{"key":"9004_CR49","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1002\/malq.19740201304","volume":"20","author":"R.I Goldblatt","year":"1974","unstructured":"Goldblatt, R.I, \u2018Decidability of some extensions of J\u2019, Z. f\u00fcr Math. Logic und Gr\u00fcnd. Math., 20 (1974), 203\u2013206.","journal-title":"Z. f\u00fcr Math. Logic und Gr\u00fcnd. Math."},{"key":"9004_CR50","first-page":"825","volume":"38","author":"V.F Goranko","year":"1985","unstructured":"Goranko, V.F, \u2018Propositional logics with strong negation and the Craig interpolation theorem\u2019, C. R. Acad. Bulg. Sci., 38 (1985), 825\u2013827.","journal-title":"C. R. Acad. Bulg. Sci."},{"key":"9004_CR51","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/BF00394448","volume":"44","author":"V. Goranko","year":"1985","unstructured":"Goranko, V., \u2018The Craig Interpolation Theorem for Propositional Logics with StrongNegation\u2019, Studia Logica, 44 (1985), 291\u2013317.","journal-title":"Studia Logica"},{"key":"9004_CR52","first-page":"252","volume-title":"LNAI","author":"R. Gor\u00e9","year":"2000","unstructured":"Gor\u00e9, R., \u2018Dual intuitionistic logic revisited\u2019, LNAI No 1847, Springer Verlag, Berlin, 2000, pp. 252\u2013267."},{"issue":"1\u20132","key":"9004_CR53","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF02121114","volume":"36","author":"Y Gurevich","year":"1977","unstructured":"Gurevich, Y, \u2018Intuitionistic logic with strong negation\u2019, Studia Logica, 36, (1\u20132) (1977), 49\u201359.","journal-title":"Studia Logica"},{"issue":"6","key":"9004_CR54","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1093\/jigpal\/11.6.615","volume":"11","author":"I. Hasuo","year":"2003","unstructured":"Hasuo, I., and R. Kashima, \u2018Kripke completeness of first-order constructive logics with strong negation\u2019, Logic Journal of the IGPL, 11(6) (2003), 615\u2013646.","journal-title":"Logic Journal of the IGPL"},{"key":"9004_CR55","first-page":"391","volume-title":"Logics in AI. European workshop JELIA'92. Berlin, Germany, September 7\u201310, 1992. LNCS 663","author":"H. Herre","year":"1991","unstructured":"Herre, H., and D. Pearce, \u2018Disjunctive logic programming, constructivity and strong negation\u2019, in D. Pearce et al. (eds.), Logics in AI. European workshop JELIA'92. Berlin, Germany, September 7\u201310, 1992. LNCS 663, Springer, Berlin, 1992, pp. 391\u2013410."},{"key":"9004_CR56","unstructured":"Jaspers, J., Calculi for Constructive Communication. ILLC Dissertation Series 1994-4, ILLC 1994."},{"key":"9004_CR57","unstructured":"Johansson, I., \u2018Der Minimalkalk\u00fcl, ein reduzierter intuitionistisher Formalismus\u2019, Compositio Math., 4 (1936)."},{"key":"9004_CR58","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1093\/jigpal\/10.6.653","volume":"10","author":"N. Kamide","year":"2002","unstructured":"Kamide, N., \u2018Sequent Calculi for Intuitionistic Linear Logic with strong Negation\u2019, Logic Journal of the IGPL, 10 (2002), 653\u2013678.","journal-title":"Logic Journal of the IGPL"},{"key":"9004_CR59","first-page":"95","volume":"36","author":"N. Kamide","year":"2002","unstructured":"Kamide, N., \u2018A Canonical Model Construction for Substructural Logics with strong negation\u2019. Reports on Mathematical Logic, 36 (2002), 95\u2013116.","journal-title":"Reports on Mathematical Logic"},{"key":"9004_CR60","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1002\/malq.200310055","volume":"49","author":"N. Kamide","year":"2003","unstructured":"Kamide, N., \u2018A note on dual intuitionistic logic\u2019, Mathematical Logic Quarterly, 49 (2003), 519\u2013524.","journal-title":"Mathematical Logic Quarterly"},{"key":"9004_CR61","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1023\/B:STUD.0000039030.03885.7c","volume":"77","author":"N. Kamide","year":"2004","unstructured":"Kamide, N., \u2018Quantized linear logic, involving quantales and strong negation\u2019, Studia Logica, 77 (2004), 355\u2013384.","journal-title":"Studia Logica"},{"issue":"4","key":"9004_CR62","first-page":"237","volume":"33","author":"N. Kamide","year":"2004","unstructured":"Kamide, N., \u2018A relationship between Rauszer's H-B Logic and Nelson's Constructive Logic\u2019, Bulletin of the Section of Logic, 33(4) (2004), 237\u2013249.","journal-title":"Bulletin of the Section of Logic"},{"issue":"2\u20133","key":"9004_CR63","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/s11225-005-8471-x","volume":"80","author":"N. Kamide","year":"2005","unstructured":"Kamide, N., \u2018Gentzen -Type Methods for Bilattice Negation\u2019, Studia Logica, 80, No 2\u20133 (2005), 265\u2013289.","journal-title":"Studia Logica"},{"issue":"5\u20136","key":"9004_CR64","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1002\/malq.19920380146","volume":"38","author":"B Klunder","year":"1992","unstructured":"Klunder, B, \u2018Topos based semantics for constructive logics with strong negation\u2019, Z. Math. Logik Grundlagen Math. 38, No.5\u20136 (1992), 509\u2013519.","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"9004_CR65","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1023\/A:1004222213212","volume":"27","author":"M. Kracht","year":"1998","unstructured":"Kracht, M., \u2018On extensions of intermediate logics by strong negation\u2019, Journal of Philosophical Logic, 27 (1998), 49\u201373.","journal-title":"Journal of Philosophical Logic"},{"key":"9004_CR66","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1016\/1385-7258(72)90053-4","volume":"34","author":"E.G.K Lopez-Escobar","year":"1972","unstructured":"Lopez-Escobar, E.G.K, \u2018Refutability and Elementary Number Theory\u2019, Indag. Math. 34 (1972), 362\u2013374.","journal-title":"Indag. Math."},{"issue":"6","key":"9004_CR67","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s10469-005-0038-4","volume":"44","author":"L. Maximova","year":"November 2005","unstructured":"Maximova, L., Interpolation and Definability in Extensions of the Minimal Logic. Algebra and Logic, vol. 44, No 6, November 2005, 407\u2013421.","journal-title":"Algebra and Logic"},{"key":"9004_CR68","first-page":"187","volume":"5","author":"A.A. Markov","year":"1950","unstructured":"Markov, A.A., \u2018Constructive Logic\u2019(in Russian), Uspekhi Matematicheskih Nauk 5 (1950), 187\u2013188.","journal-title":"Uspekhi Matematicheskih Nauk"},{"key":"9004_CR69","unstructured":"Monteiro, A., \u2018Les Alg\u00e9bres de Nelson semi-simple\u2019, Notas de Logica Matematica, Inst. de Mat. Universidad Nacional del Sur, Bahia Blanca."},{"key":"9004_CR70","first-page":"359","volume":"11","author":"A. Monteiro","year":"1963","unstructured":"Monteiro, A., \u2018Construction des alg\u00e9bres de Nelson finies\u2019, Bull.Ac.Pol. Sc. Cl. III, 11 (1963), 359\u2013362.","journal-title":"Bull.Ac.Pol. Sc. Cl. III"},{"key":"9004_CR71","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. Nelson","year":"1949","unstructured":"Nelson, D., \u2018Constructible falsity\u2019, Journal of Symbolic Logic, 14 (1949), 16\u201326.","journal-title":"Journal of Symbolic Logic"},{"key":"9004_CR72","first-page":"208","volume-title":"Constructivityin Mathematics","author":"D. Nelson","year":"1959","unstructured":"Nelson, D., \u2018Negation and separation of Concepts in Constructive Systems\u2019, in A. Heyting (ed.), Constructivityin Mathematics, North-Holland, Amsterdam, 1959, pp. 208\u2013225."},{"key":"9004_CR73","first-page":"107","volume":"161\u2013162\u2013163","author":"S. P. Odintsov","year":"1998","unstructured":"Odintsov, S. P., \u2018Maximal paraconsistent extension of Johansson logic\u2019, Logique et Analyse, 161\u2013162\u2013163(1998), 107\u2013120.","journal-title":"Logique et Analyse"},{"key":"9004_CR74","first-page":"81","volume":"165\/166","author":"S. P. Odintsov","year":"1999","unstructured":"Odintsov, S. P., \u2018Representation of j-algebras and Segerberg's logics\u2019, Logique et analyse, 165\/166 (1999), 81\u2013106.","journal-title":"Logique et analyse"},{"key":"9004_CR75","doi-asserted-by":"crossref","first-page":"91","DOI":"10.12775\/LLP.2001.006","volume":"9","author":"S. C. Odintsov","year":"2001","unstructured":"Odintsov, S. C., \u2018Logic of classical refutability and class of extensions of minimal logic\u2019, Logic and Logical Philosophy, 9 (2001), 91\u2013107.","journal-title":"Logic and Logical Philosophy"},{"issue":"4","key":"9004_CR76","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/logcom\/13.4.453","volume":"13","author":"S. P. Odintsov","year":"2003","unstructured":"Odintsov, S. P., \u2018Algebraic semantics for paraconsistent Nelson's Logic\u2019, Journal of Logic and Computation, 13(4) (2003), 453\u2013468.","journal-title":"Journal of Logic and Computation"},{"key":"9004_CR77","first-page":"149","volume":"11\/12","author":"S. C. Odintsov","year":"2003","unstructured":"Odintsov, S. C., \u2018Reductio ad absurdum and Lukasiewicz modalities\u2019, Logic and Logical Philosophy, 11\/12 (2003), 149\u2013166.","journal-title":"Logic and Logical Philosophy"},{"issue":"3","key":"9004_CR78","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1023\/B:STUD.0000032104.14199.08","volume":"76","author":"S. P. Odintsov","year":"2004","unstructured":"Odintsov, S. P., \u2018On the Representation of N4-Lattices\u2019, Studia Logica, vol. 76, 3 (2004), 385\u2013405.","journal-title":"Studia Logica"},{"issue":"2\u20133","key":"9004_CR79","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/s11225-005-8472-9","volume":"80","author":"S. P. Odintsov","year":"2005","unstructured":"Odintsov, S. P., \u2018The class of extensions of Nelson's paraconsistent logic\u2019, Studia Logica, 80, No 2\u20133 (2005), 291\u2013320.","journal-title":"Studia Logica"},{"key":"9004_CR80","doi-asserted-by":"crossref","unstructured":"Odintsov, S. P., and D. Pearce, \u2018Routley Semantics for Answer Sets\u2019, Proceedings LPNMR05, Springer LNAI, forthcoming 2005.","DOI":"10.1007\/11546207_27"},{"key":"9004_CR81","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-94-017-3598-8_11","volume-title":"Trends in Logic: 50 Years of Studia Logica","author":"S. P. Odintsov","year":"2003","unstructured":"Odintsov, S. P., and H. Wansing, Inconsistency-tolerant Description Logic: Motivation and Basic Systems, in V.F. Hendricks and J. Malinowski (eds.), Trends in Logic: 50 Years of Studia Logica, Kluwer Academic Publishers, Dordrecht, 2003, pp. 301\u2013335."},{"key":"9004_CR82","first-page":"263","volume-title":"First-Order Logic Revisited","author":"S. P. Odintsov","year":"2004","unstructured":"Odintsov, S. P., and H. Wansing, \u2018Constructive Predicate Logic and Constructive Modal logic. Formal Duality versus Semantical Duality\u2019, in V.F. Hendricks et al. (eds.), First-Order Logic Revisited, Logos Verlag, Berlin, 2004, pp. 263\u2013280."},{"issue":"2\u20133","key":"9004_CR83","doi-asserted-by":"crossref","first-page":"205","DOI":"10.3233\/FI-1996-272308","volume":"23","author":"P. Pagliani","year":"1996","unstructured":"Pagliani P., \u2018Rough sets and Nelson algebras\u2019, Fundamenta Informaticae, 23. (2\u20133) (1996), 205\u2013219.","journal-title":"Fundamenta Informaticae"},{"key":"9004_CR84","unstructured":"Patterson A., \u2018A symmetric model theory for constructible falsity\u2019, Bulletin of the asasociation of Symbolic Logic, 1996."},{"key":"9004_CR85","unstructured":"Patterson A., Implicite Programming and the Logic of Constructible Duality, Ph.D. thesis, B.S.Washington University, 1997."},{"key":"9004_CR86","doi-asserted-by":"crossref","unstructured":"Pearce, D., \u2018Answer Sets and Constructive Logic. Part II: extended logic programs and related nonmonotonic formalisms\u2019, in L. M. Periera and A. Nerode (eds.), Logic Programming and Non-monotonic Reasoning. MIT press, 1993, pp. 457\u2013475.","DOI":"10.7551\/mitpress\/4307.003.0037"},{"key":"9004_CR87","doi-asserted-by":"crossref","unstructured":"Pearce, D, \u2018A new logical characterization of stable models and answer sets\u2019, in Proc. of NMELP 96, LNCS 1216, Springer, 1997, pp. 57\u201370.","DOI":"10.1007\/BFb0023801"},{"key":"9004_CR88","doi-asserted-by":"crossref","unstructured":"Pearce, D, \u2018From here to there: Stable negation in logic programming\u2019, in Dov Gabbay and Heinrich Wansing (eds.), What is Negation?. Kluwer Academic Pub., 1999, pp. 161\u2013181.","DOI":"10.1007\/978-94-015-9309-0_8"},{"key":"9004_CR89","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/s11225-005-8473-8","volume":"80","author":"D. Pearce","year":"2005","unstructured":"Pearce, D., and A. Valverde, \u2018A First Order Non-monotonic Extension of Constructive Logic\u2019, Studia Logica, 80 (2005), 321\u2013346.","journal-title":"Studia Logica"},{"key":"9004_CR90","first-page":"405","volume":"49","author":"D. Pearce","year":"1990","unstructured":"Pearce, D., and G. Wagner, \u2018Reasoning with negative information, I: Strong negation in logic programs\u2019, in Language, Knowledge and Intensionality (Acta Filosophica Fenica), Helsinki, 49 (1990), 405\u2013439. .","journal-title":"Language, Knowledge and Intensionality (Acta Filosophica Fenica), Helsinki"},{"key":"9004_CR91","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BFb0038700","volume-title":"Extensions of Logic Programming, Lecture Notes in Artificial Intelligence","author":"D. Pearce","year":"1991","unstructured":"Pearce, D., and G. Wagner, \u2018Logic programming with strong negation\u2019, in P. Schroeder-Heister (ed.). Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, No 475, Springer-Verlag, Berlin, 1991, pp. 311\u2013326."},{"key":"9004_CR92","first-page":"87","volume":"27","author":"J Porte","year":"1984","unstructured":"Porte, J, \u2018Lukasiewicz's L-modal system and classical refutability\u2019, Logique Anal. Now. Ser., 27 (1984), 87\u201392.","journal-title":"Logique Anal. Now. Ser."},{"key":"9004_CR93","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1080\/11663081.1999.10510958","volume":"9","author":"A.P. Pynko","year":"1999","unstructured":"Pynko, A.P., \u2018Functional completeness and axiomatizability within Belnap's four-valued logic and its expansions\u2019, Journal of Applied Non-Classical Logics, 9 (1999), 61\u2013105.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9004_CR94","unstructured":"Rasiowa, H., \u2018Algebraische Charakterisierung der intuitionischen Logik mit starker Negation\u2019, Constructivity in Mathematics, Proc. of the Coll. held at Amsterdam 1957, Studies in Logic and the Foundations of Mathematics, 1959, 234\u2013240."},{"key":"9004_CR95","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-46-1-61-80","volume":"46","author":"H. Rasiowa","year":"1958","unstructured":"Rasiowa, H., \u2018N-lattices and constructive logic with strong negation\u2019, Fundamenta Mathematicae, 46 (1958), 61\u201380.","journal-title":"Fundamenta Mathematicae"},{"key":"9004_CR96","volume-title":"An algebraic approachto non-classical logic","author":"H. Rasiowa","year":"1974","unstructured":"Rasiowa, H., An algebraic approachto non-classical logic, North-Holland Publishing Company, Amsterdam, London, 1974."},{"key":"9004_CR97","unstructured":"Rasiowa, H., Algebraic Models of Logics Warsaw, 2001."},{"key":"9004_CR98","doi-asserted-by":"crossref","first-page":"62","DOI":"10.4064\/fm-40-1-62-95","volume":"40","author":"H. Rasiowa","year":"1953","unstructured":"Rasiowa, H., and R. Sikorski, \u2018Algebraic treatment of the notion of satisfiability\u2019, Fund. Math. 40 (1953), 62\u201395.","journal-title":"Fund. Math."},{"key":"9004_CR99","unstructured":"Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematcs, Warsawa 1963."},{"key":"9004_CR100","first-page":"881","volume":"19","author":"C. Rauszer","year":"1971","unstructured":"Rauszer, C., \u2018Representation theorem for semi-boolean algebras\u2019. I (and II). Bul. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phis., 19 (1971), I: 881\u2013887; II: 889\u2013899.","journal-title":"Bul. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phis."},{"key":"9004_CR101","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/BF02120864","volume":"33","author":"C. Rauszer","year":"1974","unstructured":"Rauszer, C., \u2018A formalization of propositional calculus of H-B logic\u2019, Studia Logica, 33 (1974), 24\u201334.","journal-title":"Studia Logica"},{"key":"9004_CR102","doi-asserted-by":"crossref","first-page":"219","DOI":"10.4064\/fm-83-3-219-249","volume":"85","author":"C. Rauszer","year":"1974","unstructured":"Rauszer, C., S\u2018emi-boolean algebras and their applications to intuitionistic logic with dual operations\u2019, Fund. Math., 85 (1974), 219\u2013249","journal-title":"Fund. Math."},{"key":"9004_CR103","first-page":"81","volume":"24","author":"C. Rauszer","year":"1976","unstructured":"Rauszer, C., \u2018On the strong semantical completeness of H-B predicate calculus\u2019, Bul. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phis., 24 (1976), 81\u201387.","journal-title":"Bul. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phis."},{"key":"9004_CR104","doi-asserted-by":"crossref","first-page":"127","DOI":"10.4064\/fm-96-2-127-135","volume":"96","author":"C. Rauszer","year":"1977","unstructured":"Rauszer, C., \u2018An algebraic approach to Heyting-Brouwer predicate calculus\u2019, Fund. Math., 96 (1977), 127\u2013135.","journal-title":"Fund. Math."},{"key":"9004_CR105","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02121115","volume":"36","author":"C. Rauszer","year":"1977","unstructured":"Rauszer, C., \u2018Applications of Kripke models to Heyting-Brouwer logic\u2019, Studia Logica, 36 (1977), 61\u201372.","journal-title":"Studia Logica"},{"key":"9004_CR106","first-page":"1","volume":"157","author":"C. Rauszer","year":"1980","unstructured":"Rauszer, C., \u2018An algebraic and Kripke-style approach to a certain extension of intuitionistic logic\u2019, Disertationes Math., 157 (1980), 1\u201362.","journal-title":"Disertationes Math."},{"issue":"3","key":"9004_CR107","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BF02123283","volume":"33","author":"R. Routley","year":"1974","unstructured":"Routley, R., \u2018Semantical Analyses of Propositional Systems of Fitch and Nelson\u2019, Studia Logica 33, (3)(1974), 283\u2013298.","journal-title":"Studia Logica"},{"key":"9004_CR108","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1111\/j.1755-2567.1968.tb00337.x","volume":"34","author":"K. Segerberg","year":"1968","unstructured":"Segerberg, K., \u2018Propositional logics related to Heyting's and Johansson's\u2019, Theoria, 34 (1968), 26\u201361.","journal-title":"Theo-ria"},{"key":"9004_CR109","first-page":"215","volume":"13","author":"A. Sendlewski","year":"1984","unstructured":"Sendlewski, A., \u2018Topological duality for Nelson algebras and its applications\u2019, Bull. Sect. Logic, Pol. Acad. Sci., 13 (1984), 215\u2013221.","journal-title":"Bull. Sect. Logic, Pol. Acad. Sci."},{"key":"9004_CR110","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF02429842","volume":"43","author":"A. Sendlewski","year":"1984","unstructured":"Sendlewski, A., \u2018Some investigations of varieties of N-lattices\u2019, Studia Logica, 43 (1984), 257\u2013280.","journal-title":"Studia Logica"},{"key":"9004_CR111","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/BF00401557","volume":"49","author":"A. Sendlewski","year":"1990","unstructured":"Sendlewski, A., \u2018Nelson algebras through Heyting ones\u2019, Studia Logica, 49 (1990), 106\u2013126.","journal-title":"Studia Logica"},{"key":"9004_CR112","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF01057804","volume":"55","author":"A Sendlewski","year":"1995","unstructured":"Sendlewski, A, \u2018Axiomatic extensions of the constructive logic with strong negation and disjunction property\u2019, Studia Logica, 55 (1995), 377\u2013388.","journal-title":"Studia Logica"},{"key":"9004_CR113","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1142\/9789812799746_0008","volume-title":"Essays on Non-Classical Logic","author":"Y. Shramko","year":"2001","unstructured":"Shramko, Y., \u2018Semantics for constructive negations\u2019, in H. Wansing (ed.), Essays on Non-Classical Logic, World Scientiphic, New Jersey-London-Singapore-Hong Kong, 2001, pp. 187\u2013217."},{"key":"9004_CR114","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/s11225-005-8474-7","volume":"80","author":"Y. Shramko","year":"2005","unstructured":"Shramko, Y., \u2018Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientiphic Research\u2019, Studia Logica, 80 (2005), 347\u2013367.","journal-title":"Studia Logica"},{"key":"9004_CR115","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1093\/logcom\/11.6.761","volume":"11","author":"Y. Shramko","year":"2001","unstructured":"Shramko, Y., J.M. Dunn, and T. Tanaka, \u2018The trilattice of constructive truth values\u2019, Journal of Logic and Computation, 11 (2001), 761\u2013788.","journal-title":"Journal of Logic and Computation"},{"key":"9004_CR116","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1002\/malq.19690151602","volume":"15","author":"R.H. Thomason","year":"1969","unstructured":"Thomason, R.H., \u2018A Semantical Study of Constructible Falsity\u2019, Zeitschrift fur Mathematische Logik 15 (1969), 247\u2013257.","journal-title":"Zeitschrift fur Mathematische Logik"},{"key":"9004_CR117","first-page":"1609","volume":"25","author":"D. Vakarelov","year":"1972","unstructured":"Vakarelov, D., \u2018Ekstensional Logics\u2019 (in Russian), Doklady BAN, 25 (1972), 1609\u20131612.","journal-title":"Doklady BAN"},{"key":"9004_CR118","first-page":"1087","volume":"22","author":"D. Vakarelov","year":"1974","unstructured":"Vakarelov, D., \u2018Representation theorem for semi-Boolean algebras and semantics for HB-predicate logic\u2019, Acad. Polon. Sci. Ser. Math. Phis., 22 (1974), 1087\u20131095.","journal-title":"Acad. Polon. Sci. Ser. Math. Phis."},{"key":"9004_CR119","unstructured":"Vakarelov, D., \u2018Models for constructive logic with strong negation\u2019, V Balkan Mathematical Congress, Abstracts, Beograd, 1974, p. 298."},{"key":"9004_CR120","unstructured":"Vakarelov, D., \u2018Generalized Nelson Lattices\u2019, IVth Allunion Conference on Mathematical Logic, Abstracts, Kishinev, 1976."},{"key":"9004_CR121","unstructured":"Vakarelov, D., \u2018Theory of Negation in Certain Logical Systems. Algebraic and Semantical Approach\u2019, Ph.D. dissertation, University of Warsaw, 1976."},{"key":"9004_CR122","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D. Vakarelov","year":"1977","unstructured":"Vakarelov, D., \u2018Notes on N-lattices and constructive logic with strong negation\u2019, Studia Logica 36 (1977), 109\u2013125.","journal-title":"Studia Logica"},{"issue":"4","key":"9004_CR123","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1007\/BF00370208","volume":"XLVIII","author":"D. Vakarelov","year":"1989","unstructured":"Vakarelov, D., \u2018Intuitive Semantics for Some Three-valued Logics Connected with Information, Contrariety and Subcontrariety\u2019, Studia Logica, XLVIII, 4 (1989), 565\u2013575.","journal-title":"Studia Logica"},{"key":"9004_CR124","doi-asserted-by":"crossref","first-page":"328","DOI":"10.2307\/j.ctv2x8v8c7.15","volume-title":"Paraconsistent Logic. Essays on the Inconsistent","author":"D. Vakarelov","year":"1989","unstructured":"Vakarelov, D., \u2018Consistency, Completeness and Negation\u2019, in Gr. Priest, R. Routley, and J. Norman (eds.), Paraconsistent Logic. Essays on the Inconsistent. Analiytica, Philosophia Verlag, Munhen, 1989, 328\u2013363."},{"issue":"2\u20133","key":"9004_CR125","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/s11225-005-8476-5","volume":"80","author":"D. Vakarelov","year":"2005","unstructured":"Vakarelov, D., \u2018Constructive Negation on the Base of Weaker Versions of Intuitionistc Negation\u2019, Studia Logica, 80, No 2\u20133 (2005), 393\u2013430.","journal-title":"Studia Logica"},{"key":"9004_CR126","first-page":"456","volume":"85","author":"N. N. Vorob'ev","year":"1952","unstructured":"Vorob'ev, N. N., \u2018Constructive propositional calculus with strong negation\u2019 (in Russian), Doklady Academii Nauk SSSR, 85 (1952), 456\u2013468.","journal-title":"Doklady Academii Nauk SSSR"},{"key":"9004_CR127","first-page":"689","volume":"85","author":"N.N Vorob'ev","year":"1952","unstructured":"Vorob'ev, N.N, \u2018The problem of deducibility in constructive propositional calculus withstrongnegation\u2019 (in Russian). Doklady Akademii Nauk SSR, 85 (1952), 689\u2013692.","journal-title":"Doklady Akademii Nauk SSR"},{"key":"9004_CR128","first-page":"195","volume":"72","author":"N. N. Vorob'ev","year":"1964","unstructured":"Vorob'ev, N. N., \u2018Constructive propositional calculus with strong negation\u2019 (in Russian), Transactions of Steklov's institute, 72 (1964), 195\u2013227.","journal-title":"Transactions of Steklov's institute"},{"issue":"6","key":"9004_CR129","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1093\/logcom\/1.6.835","volume":"1","author":"G. Wagner","year":"1991","unstructured":"Wagner, G., \u2018Logic programming with strong negation and inexact predicates\u2019, J. Log. Comput., 1, No.6 (1991), 635\u2013659.","journal-title":"J. Log. Comput."},{"key":"9004_CR130","unstructured":"Wagner, G., Vivid Logic. Knowledge-Based reasoning with Two Kinds of Negation Springer LNAI 764, 1994."},{"key":"9004_CR131","doi-asserted-by":"crossref","unstructured":"Wansing, H., The Logic of Information Structures Springer LNAI 681, 1993.","DOI":"10.1007\/3-540-56734-8"},{"key":"9004_CR132","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BF01181683","volume":"2","author":"H. Wansing","year":"1993","unstructured":"Wansing, H., Informational Intererpretation of substructural Propositional Logics, Journal of logic Language and Information, 2 (1993), 285\u2013308.","journal-title":"Journal of logic Language and Information"},{"key":"9004_CR133","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1305\/ndjfl\/1040308828","volume":"36","author":"H. Wansing","year":"1995","unstructured":"Wansing, H., \u2018Semantics-based nonmonotonic inference\u2019. Notre Dame Journal of Formal Logic, 36 (1995), 44\u201354.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9004_CR134","doi-asserted-by":"crossref","first-page":"1573","DOI":"10.2307\/2586798","volume":"64","author":"H. Wansing","year":"1999","unstructured":"Wansing, H., \u2018Displaying in the modal logic of consistency\u2019, Journal of Symbolic Logic, 64 (1999), 1573\u20131590, 68 (2003), 712.","journal-title":"Journal of Symbolic Logic"},{"key":"9004_CR135","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/978-94-015-9309-0_11","volume-title":"What is Negation","author":"H. Wansing","year":"1999","unstructured":"Wansing, H., \u2018Negation as Falsity: a Reply to Tennant\u2019, in D. Gabbay and H. Wansing (eds.), What is Negation? Kluwer Academic Publishers, Dorderecht, 1999, pp. 223\u2013238."},{"key":"9004_CR136","first-page":"105","volume-title":"Rationalit\u00e4t, Realismus, Revision (GAP3)","author":"H. Wansing","year":"1999","unstructured":"Wansing, H., \u2018Higher-arity Gentzen Systems for Nelson's Logic\u2019, in J. Nida-R\u00fcmelin (ed.), Rationalit\u00e4t, Realismus, Revision (GAP3), de Gruyter, Berlin, 1999, pp. 105\u2013109."},{"key":"9004_CR137","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1023\/A:1005217827758","volume":"64","author":"H. Wansing","year":"2000","unstructured":"Wansing, H., \u2018The Idea of Proof-theoretic Semantics\u2019, Studia Logica, 64 (2000), 3\u201320.","journal-title":"Studia Logica"},{"key":"9004_CR138","first-page":"415","volume-title":"The Balackwell Guide to Philosophical Logic","author":"H. Wansing","year":"2001","unstructured":"Wansing, H., \u2018Negation\u2019, in L. Goble (ed.), The Balackwell Guide to Philosophical Logic, Basil Blackwell Publishers, Cambridge\/MA, 2001, pp. 415\u2013436."},{"key":"9004_CR139","doi-asserted-by":"crossref","unstructured":"Wansing, H., \u2018Logical connectives for constructive modal logic\u2019, Synthese, 2005, to appear.","DOI":"10.1007\/s11229-005-5518-5"},{"key":"9004_CR140","first-page":"367","volume-title":"Advances in Modal Logic, vol. 5","author":"H. Wansing","year":"2005","unstructured":"Wansing, H., \u2018Connexive Modal Logic\u2019, in R. Schmidt et al. (eds.), Advances in Modal Logic, vol. 5, King's Colleage Publications, London, 2005, pp. 367\u2013383."},{"key":"9004_CR141","unstructured":"Wolski M., \u2018Complete Orders, Categories and Lattices of Approximations\u2019, Fundamenta Informaticae, 2006, to appear."},{"key":"9004_CR142","unstructured":"Zaslawskij, I.D., Symmetrical Constructive Logic (in Russian), Erevan, 1978."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-9004-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-9004-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-9004-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T16:36:44Z","timestamp":1736613404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-9004-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,20]]},"references-count":142,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,10,30]]}},"alternative-id":["9004"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-9004-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2006,10,20]]}}}