{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T15:56:50Z","timestamp":1770825410069,"version":"3.50.1"},"reference-count":74,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2000,10]]},"DOI":"10.1023\/a:1026740726955","type":"journal-article","created":{"date-parts":[[2003,11,6]],"date-time":"2003-11-06T13:09:07Z","timestamp":1068124147000},"page":"5-40","source":"Crossref","is-referenced-by-count":100,"title":["Partiality and Its Dual"],"prefix":"10.1007","volume":"66","author":[{"given":"J. Michael","family":"Dunn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"318827_CR1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A. Almukdad","year":"1984","unstructured":"Almukdad, A., and D. Nelson (1984). \u2018Constructible falsity and inexact predicates\u2019, The Journal of Symbolic Logic 49, 231-233.","journal-title":"The Journal of Symbolic Logic"},{"key":"318827_CR2","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"A. R. Anderson","year":"1975","unstructured":"Anderson, A. R., and N. D. Belnap. et al (1975). Entailment: The Logic of Relevance and Necessity, vol. 1, Princeton (Princeton University Press)."},{"key":"318827_CR3","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"A. R. Anderson","year":"1992","unstructured":"Anderson, A. R., N. D. Belnap, and J. M. Dunn, et al (1992), Entailment: The Logic of Relevance and Necessity, vol. 2, Princeton (Princeton University Press)."},{"key":"318827_CR4","first-page":"103","volume":"VII","author":"F. Asenjo","year":"1966","unstructured":"Asenjo, F., (1966), \u2018A calculus of antinomies\u2019, Notre Dame Journal of Formal Logic VII, 103-105.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"318827_CR5","series-title":"Truth, Syntax and Modality","first-page":"1","volume-title":"No\u00fbs","author":"N. D. Belnap","year":"1970","unstructured":"Belnap, N. D., (1970), \u2018Restricted quantification and conditional assertion\u2019, No\u00fbs 4, 1-12. Fuller version in H. Leblanc (ed.), Truth, Syntax and Modality, Amsterdam, North-Holland Publishing Company, p. 48\u201375, 1973."},{"key":"318827_CR6","volume-title":"Proceedings of the 1975 International Symposium on Multiple-Valued Logic","author":"N. D. Belnap","year":"1975","unstructured":"Belnap, N. D., (1975), \u2018A useful four-valued logic\u2019, abstract in Proceedings of the 1975 International Symposium on Multiple-Valued Logic, Indiana University, Bloomington."},{"key":"318827_CR7","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N. D. Belnap","year":"1977","unstructured":"Belnap, N. D., (1977a), \u2018A useful four-valued logic\u2019, in Modern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein (eds.), Dordrecht, D. Reidel Publishing Co."},{"key":"318827_CR8","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"N. D. Belnap","year":"1977","unstructured":"Belnap, N. D., (1977b), \u2018How a computer should think\u2019, in Contemporary Aspects of Philosophy, G. Ryle (ed.), Stocksfield, Oriel Press Ltd, p. 30-55."},{"key":"318827_CR9","first-page":"1","volume-title":"Handbook of Philosophical Logic vol. III, Alternatives to Classical Logic","author":"S. Blamey","year":"1986","unstructured":"Blamey, S., (1986), \u2018Partial logics\u2019, in Handbook of Philosophical Logic vol. III, Alternatives to Classical Logic, D. Gabbay and F. Guenthner (eds.), Dordrecht, D. Reidel Publishing Company), p. 1-70."},{"key":"318827_CR10","volume-title":"The Algebra of Intensional Logics","author":"J. M. Dunn","year":"1966","unstructured":"Dunn, J. M., (1966), The Algebra of Intensional Logics, Doctoral Dissertation, University of Pittsburgh, Ann Arbor (University Microfilms). Some portions relevant to this paper are reprinted in Anderson, Belnap, et al. (1975) as \u00a78 and \u00a728.2."},{"key":"318827_CR11","first-page":"433","volume":"32","author":"J. M. Dunn","year":"1967","unstructured":"Dunn, J. M., (1967), \u2018The effective equivalence of certain propositions about De Morgan lattices\u2019, The Journal of Symbolic Logic 32, 433-434.","journal-title":"The Journal of Symbolic Logic"},{"key":"318827_CR12","unstructured":"Dunn, J. M., (1969), \u2018Natural language versus formal language\u2019, unpublished manuscript, Presented at the joint APA-ASL symposium, New York, Dec. 27."},{"key":"318827_CR13","first-page":"362","volume":"36","author":"J. M. Dunn","year":"1971","unstructured":"Dunn, J. M., (1971), \u2018An intuitive semantics for first degree relevant implications\u2019 (abstract), The Journal of Symbolic Logic 36, 362-363.","journal-title":"The Journal of Symbolic Logic"},{"key":"318827_CR14","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J. M. Dunn","year":"1976","unstructured":"Dunn, J. M., (1976a), \u2018Intuitive semantics for first-degree entailments and coupled trees\u2019, Philosophical Studies 29, 149-168.","journal-title":"Philosophical Studies"},{"key":"318827_CR15","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF02120878","volume":"35","author":"J. M. Dunn","year":"1976","unstructured":"Dunn, J. M., (1976b), \u2018A Kripke-style semantics for R-mingle using a binary accessibility relation\u2019, Studia Logica 35, 163-172.","journal-title":"Studia Logica"},{"key":"318827_CR16","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00370439","volume":"38","author":"J. M. Dunn","year":"1979","unstructured":"Dunn, J. M., (1979), \u2018A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic\u2019, Studia Logica 38, 149-169.","journal-title":"Studia Logica"},{"key":"318827_CR17","volume-title":"Handbook of Philosophical Logic vol. III, Alternatives to Classical Logic","author":"J. M. Dunn","year":"1986","unstructured":"Dunn, J. M., (1986), \u2018Relevance logic and entailment\u2019, in Handbook of Philosophical Logic vol. III, Alternatives to Classical Logic, D. Gabbay and F. Guenthner (eds.), Dordrecht, D. Reidel Publishing Company."},{"key":"318827_CR18","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., (1993), \u2018Perp and star: Two treatments of negation\u2019, in Philosophical Perspectives 7: Language and Logic, J. Tomberlin (ed.), p. 331-357.","DOI":"10.2307\/2214128"},{"key":"318827_CR19","volume-title":"A comparative study of various model-theoretic treatments of negation: A history of formal negation","author":"J. M. Dunn","year":"1997","unstructured":"Dunn, J. M., (1997), \u2018A comparative study of various model-theoretic treatments of negation: A history of formal negation\u2019, D. Gabbay and H. Wansing (eds.), Dordrecht, Kluwer Academic Publishing."},{"key":"318827_CR20","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/BF02052953","volume":"176","author":"J. M. Dunn","year":"1968","unstructured":"Dunn, J. M., and N. D. Belnap (1968), \u2018Homomorphisms of intensionally complemented distributive lattices\u2019, Mathematische Annalen 176, 28-38.","journal-title":"Mathematische Annalen"},{"key":"318827_CR21","first-page":"491","volume-title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","author":"R. Fagin","year":"1985","unstructured":"Fagin, R., and J. Y. Halpern (1985), \u2018Belief, awareness and limited reasoning: Preliminary report\u2019, in Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Altos, Morgan Kaufmann, p. 491-501."},{"key":"318827_CR22","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1987","unstructured":"Fagin, R., and J. Y. Halpern (1987), \u2018Belief, awareness and limited reasoning\u2019, Artificial Intelligence 34, 39-76.","journal-title":"Artificial Intelligence"},{"key":"318827_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., J. Y. Halpern, Y. Moses, M. Y. Vardi (1995), Reasoning about Knowledge, Cambridge, U.S.A, The MIT Press."},{"key":"318827_CR24","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF00257480","volume":"3","author":"K. Fine","year":"1974","unstructured":"Fine, K., (1974), \u2018Models for entailment\u2019, Journal of Philosophical Logic 3, 347-372.","journal-title":"Journal of Philosophical Logic"},{"key":"318827_CR25","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/FI-1988-11206","volume":"11","author":"M. Fitting","year":"1988","unstructured":"Fitting, M., (1988), \u2018Logic programming on a topological bilattice\u2019, Fundamenta Informatica 11, 209-218.","journal-title":"Fundamenta Informatica"},{"key":"318827_CR26","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00274066","volume":"18","author":"M. Fitting","year":"1989","unstructured":"Fitting, M., (1989), \u2018Bilattices and the theory of truth\u2019, Journal of Philosophical Logic 18, 225-256.","journal-title":"Journal of Philosophical Logic"},{"key":"318827_CR27","unstructured":"Ginsberg, M. L., (1987), \u2018Multi-valued logics\u2019, Technical Report, The Logic Group Knowledge Systems Laboratory, Department of Computer Science, Stanford University."},{"key":"318827_CR28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y., (1987), \u2018Linear logic\u2019, Theoretical Computer Science 50, 1-102.","journal-title":"Theoretical Computer Science"},{"key":"318827_CR29","first-page":"596","volume":"26","author":"A. Grzegorczyk","year":"1964","unstructured":"Grzegorczyk, A., (1964), \u2018A philosophically plausible formal interpretation of intuitionistic logic\u2019, Indagiones Mathematicae 26, 596-601.","journal-title":"Indagiones Mathematicae"},{"key":"318827_CR30","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF02121114","volume":"36","author":"Y. Gurevich","year":"1977","unstructured":"Gurevich, Y., (1977), \u2018Intuitionistic logic with strong negation\u2019, Studia Logica 36, 49-59.","journal-title":"Studia Logica"},{"key":"318827_CR31","unstructured":"Hazen, A., (199+), \u2018Subminimal negation\u2019, unpublished ms."},{"key":"318827_CR32","volume-title":"A natural history of negation","author":"L. Horn","year":"1989","unstructured":"Horn, L., (1989), A natural history of negation, Chicago, University of Chicago Press."},{"key":"318827_CR33","unstructured":"Jaspars, J., (1994), Calculi for Constructive Communication, Ph.D. Dissertation, University of Tilburg."},{"key":"318827_CR34","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"J. A. Kalman","year":"1958","unstructured":"Kalman, J. A., (1958), \u2018Lattices with involution\u2019, Transactions of the American Mathematical Society 87, 485-491.","journal-title":"Transactions of the American Mathematical Society"},{"key":"318827_CR35","volume-title":"Introduction to Metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"Kleene, S. C., (1952), Introduction to Metamathematics, New York, D. Van Nostrand Company."},{"key":"318827_CR36","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1016\/S0049-237X(08)71685-9","volume-title":"Formal Systems and Recursive Functions","author":"S. Kripke","year":"1965","unstructured":"Kripke, S., (1965), \u2018Semantic analysis of intuitionistic logic I\u2019, in Formal Systems and Recursive Functions, J. Crossley and M. Dummett (eds.), Amsterdam, North-Holland Publishing Company, p. 92-129."},{"key":"318827_CR37","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S. Kripke","year":"1975","unstructured":"Kripke, S., (1975), \u2018Outline of a theory of truth\u2019, The Journal of Philosophy 72, 690-716.","journal-title":"The Journal of Philosophy"},{"key":"318827_CR38","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/BF01969697","volume":"12","author":"F. von Kutschera","year":"1969","unstructured":"von Kutschera, F., (1969), \u2018Ein verallgemeinerter Widerlegungsbegriff f\u00fcr Gentzenkalk\u00fcle\u2019, Archiv f\u00fcr Mathematische Logik und Grundlagenforschung 12, 104-118.","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"318827_CR39","first-page":"198","volume-title":"Proceedings of the National Conference on Artificial Intelligence","author":"H. J. Levesque","year":"1984","unstructured":"Levesque, H. J., (1984), \u2018A logic of implicit and explicit belief\u2019, in Proceedings of the National Conference on Artificial Intelligence, Los Altos, Morgan Kaufman, p. 198-202."},{"issue":"3","key":"318827_CR40","first-page":"187","volume":"5","author":"A. A. Markov","year":"1950","unstructured":"Markov, A. A., (1950), \u2018Konstruktivnaja logika\u2019, Usp\u00e9hi Matemati\u010d\u00e9skih Nauk, 5,no. 3. 187-188.","journal-title":"Usp\u00e9hi Matemati\u010d\u00e9skih Nauk"},{"key":"318827_CR41","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF02379018","volume":"5","author":"R. L. Martin","year":"1975","unstructured":"Martin, R. L., P. W. Woodruff (1975), \u2018On representing \u2018true-in-L\u2019 in L\u2019, Philosophia 5, 213-217.","journal-title":"Philosophia"},{"key":"318827_CR42","doi-asserted-by":"crossref","first-page":"808","DOI":"10.2307\/2024953","volume":"68","author":"R. K. Meyer","year":"1971","unstructured":"Meyer, R. K., (1971), \u2018Entailment\u2019, The Journal of Philosophy 68, 808-818.","journal-title":"The Journal of Philosophy"},{"key":"318827_CR43","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1016\/S0049-237X(08)71540-4","volume-title":"Truth, Syntax, and Modality","author":"R. K. Meyer","year":"1973","unstructured":"Meyer, R. K., (1973), \u2018Intuitionism, entailment, negation\u2019, in Truth, Syntax, and Modality, H. Leblanc (ed.), Amsterdam, North-Holland Publishing Co., p. 168-198."},{"key":"318827_CR44","series-title":"Research Paper","volume-title":"A Boolean-valued semantics for R","author":"R. K. Meyer","year":"1979","unstructured":"Meyer, R. K., (1979), \u2018A Boolean-valued semantics for R\u2019, Research Paper No. 4, Australian National University, Logic Group, Research School of Social Sciences, Canberra."},{"key":"318827_CR45","doi-asserted-by":"crossref","unstructured":"Meyer, R. K., S. Giambrone, and R. Brady (1984), \u2018Where gamma fails\u2019, Studia Logica 247-256.","DOI":"10.1007\/BF02429841"},{"key":"318827_CR46","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. Nelson","year":"1949","unstructured":"Nelson, D., (1949), \u2018Constructible falsity\u2019, The Journal of Symbolic Logic 14, 16-26.","journal-title":"The Journal of Symbolic Logic"},{"key":"318827_CR47","first-page":"208","volume-title":"Constructivity in Mathematics","author":"D. Nelson","year":"1959","unstructured":"Nelson, D., (1959), \u2018Negation and separation of concepts in constructive systems\u2019, in Constructivity in Mathematics, A. Heyting (ed.), Amsterdam, North-Holland Publishing Company, p. 208-225."},{"key":"318827_CR48","series-title":"Technical Report","volume-title":"n Reasons for Choosing N","author":"D. Pearce","year":"1991","unstructured":"Pearce, D., (1991), \u2018n Reasons for Choosing N\u2019, Technical Report 14\/91, Gruppe f\u00fcr Logik, Wissenstheorie und Information, Freie Universit\u00e4t Berlin."},{"key":"318827_CR49","volume-title":"Logic Programming and Non-monotonic Reasoning","author":"D. Pearce","year":"1993","unstructured":"Pearce, D., (1993), \u2018Answer sets and constructive logic II: Extended logic programs and related non-monotonic formalisms\u2019, in Logic Programming and Non-monotonic Reasoning, L. Pereira and A. Nerode (eds.), Cambridge, MA, MIT Press."},{"key":"318827_CR50","series-title":"Logic Notes in AI","volume-title":"Proceedings of the Workshop on Extensions of Logic Programming","author":"D. Pearce","year":"1990","unstructured":"Pearce, D., and G. Wagner (1990), \u2018Logic programming with strong negation\u2019, in Proceedings of the Workshop on Extensions of Logic Programming, Logic Notes in AI, 475, P. Schroeder-Heister (ed.), Berlin, Springer-Verlag."},{"key":"318827_CR51","first-page":"105","volume":"2","author":"G. Priest","year":"1977","unstructured":"Priest, G., (1977), \u2018The logic of paradox\u2019 (abstract), Relevance Logic Newsletter 2, 105. Reprinted in the Bulletin of the Section of Logic 6 (1977), 140\u2013141.","journal-title":"Relevance Logic Newsletter"},{"key":"318827_CR52","first-page":"415","volume":"9","author":"G. Priest","year":"1979","unstructured":"Priest, G., (1979), \u2018The logic of paradox\u2019, Journal of Philosophical Logic 9, 415-435.","journal-title":"Journal of Philosophical Logic"},{"key":"318827_CR53","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-3687-4","volume-title":"In Contradiction","author":"G. Priest","year":"1987","unstructured":"Priest, G., (1987), In Contradiction, The Hague, Martinus Nijhoff."},{"key":"318827_CR54","first-page":"694","volume":"7","author":"P. T. Raju","year":"1954","unstructured":"Raju, P. T., (1954), \u2018The principle of four-cornered negation in Indian philosophy\u2019, Review of Metaphysics 7, 694-713.","journal-title":"Review of Metaphysics"},{"key":"318827_CR55","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, Amsterdam, North-Holland Publishing Company."},{"key":"318827_CR56","first-page":"199","volume-title":"Truth, Syntax and Modality","author":"R. Routley","year":"1972","unstructured":"Routley, R., and R. K. Meyer (1972\u201373), \u2018The semantics of entailment I\u2019, in Truth, Syntax and Modality, H. Leblanc (ed.), Amsterdam, North-Holland Publishing Company, 1973, p. 199-243. \u2018The semantics of entailment II\u2013III\u2019, Journal of Philosophical Logic 1 (1972), 53\u201373, 192\u2013208."},{"key":"318827_CR57","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00832085","volume":"16","author":"R. Routley","year":"1976","unstructured":"Routley, R., and R. K. Meyer (1976), \u2018Dialectical logic, classical logic, and the consistency of the world\u2019, Studies in Soviet Thought 16, 1-25.","journal-title":"Studies in Soviet Thought"},{"key":"318827_CR58","doi-asserted-by":"crossref","unstructured":"Routley, R., and R. V. Routley (1972), \u2018Semantics of first-degree entailment\u2019, No\u00fbs, 335-359.","DOI":"10.2307\/2214309"},{"key":"318827_CR59","first-page":"157","volume-title":"Logic, Methodology and Philosophy of Science","author":"D. Scott","year":"1973","unstructured":"Scott, D., (1973). \u2018Models of various type-free calculi\u2019, in Logic, Methodology and Philosophy of Science IV, P. Suppes et al (eds.), Amsterdam, North-Holland Publishing Co., p. 157-187."},{"key":"318827_CR60","volume-title":"Intuitionismus und Relevanz","author":"Y. Shramko","year":"1999","unstructured":"Shramko, Y., (1999), Intuitionismus und Relevanz, Berlin, Logos-Verlag."},{"key":"318827_CR61","unstructured":"Shramko, Y., (2000), \u2018American plan for intuitionistic logic 1: An intuitive background\u2019, LOGICA Yearbook '99, Academy of Sciences of the Czech Republic."},{"key":"318827_CR62","series-title":"Technical Report","volume-title":"The implications of paraconsistency","author":"J. Slaney","year":"1989","unstructured":"Slaney, J., (1989), \u2018The implications of paraconsistency\u2019, Technical Report TR-ARP-3\/89, Automated Reasoning Project, Australian national University, Canberra."},{"key":"318827_CR63","series-title":"Technical Report","volume-title":"Time, truth, and logic","author":"J. Slaney","year":"1989","unstructured":"Slaney, J., T. Surendonk, and R. Girie (1989), \u2018Time, truth, and logic\u2019, Technical Report TR-ARP-11\/89, Automated Reasoning Project, Australian national University, Canberra."},{"key":"318827_CR64","volume-title":"Introduction to Logical Theory","author":"P. F. Strawson","year":"1952","unstructured":"Strawson, P. F., (1952), Introduction to Logical Theory, London, Methuen and Co. Ltd."},{"key":"318827_CR65","volume-title":"Partial Logic and Knowledge Representation","author":"E. Thijsse","year":"1992","unstructured":"Thijsse, E., (1992), Partial Logic and Knowledge Representation, Delft, Holland, Eburon Publishers."},{"key":"318827_CR66","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1002\/malq.19690151602","volume":"15","author":"R. H. Thomason","year":"1969","unstructured":"Thomason, R. H., (1969), \u2018A semantical study of constructive falsity\u2019, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 15, 247-257.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"318827_CR67","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-94-009-5203-4_2","volume-title":"Handbook of Philosophical Logic vol. III, Alternatives to Classical Logic","author":"A. Urquhart","year":"1986","unstructured":"Urquhart, A., (1986), \u2018Many-valued logic\u2019, in Handbook of Philosophical Logic vol. III, Alternatives to Classical Logic, D. Gabbay and F. Guenthner (eds.), Dordrecht, D. Reidel Publishing Company, p. 71-116."},{"key":"318827_CR68","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF00453021","volume":"13","author":"A. Visser","year":"1984","unstructured":"Visser, A., (1984). \u2018Four valued semantics and the liar\u2019, Journal of Philosophical Logic 13, 181-212.","journal-title":"Journal of Philosophical Logic"},{"key":"318827_CR69","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1093\/logcom\/1.6.835","volume":"1","author":"G. Wagner","year":"1991","unstructured":"Wagner, G., (1991), \u2018Logic programming with strong negation and inexact predicates\u2019, Journal of Logic and Computation 1, 835-859.","journal-title":"Journal of Logic and Computation"},{"key":"318827_CR70","series-title":"Lecture Notes in AI","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-57604-5","volume-title":"Vivid Logic: Knowledge-Based Reasoning with Two kinds of Negation","author":"G. Wagner","year":"1994","unstructured":"Wagner, G., (1994), Vivid Logic: Knowledge-Based Reasoning with Two kinds of Negation, Lecture Notes in AI, 764, Berlin, Springer-Verlag."},{"key":"318827_CR71","series-title":"Lectures Notes in AI","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56734-8","volume-title":"The Logic of Information Structures","author":"H. Wansing","year":"1993","unstructured":"Wansing, H., (1993), The Logic of Information Structures, Lectures Notes in AI, 681, Berlin, Springer-Verlag."},{"key":"318827_CR72","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1305\/ndjfl\/1040308828","volume":"36","author":"H. Wansing","year":"1995","unstructured":"Wansing, H., (1995a), \u2018Semantics-based nonmonotonic inference\u2019, Notre Dame Journal of Formal Logic 36, 44-54.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"318827_CR73","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1002\/malq.19950410108","volume":"41","author":"H. Wansing","year":"1995","unstructured":"Wansing, H., (1995b), \u2018Tarskian structured consequence relations and functional completeness\u2019, Mathematical Logic Quarterly 41, 73-92.","journal-title":"Mathematical Logic Quarterly"},{"key":"318827_CR74","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF00453022","volume":"13","author":"P. W. Woodruff","year":"1984","unstructured":"Woodruff, P. W., (1984), \u2018Paradox, truth and logic, part I: Paradox and truth\u2019, Journal of Philosophical Logic 13, 213-232.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026740726955.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026740726955\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026740726955.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:15:14Z","timestamp":1754630114000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026740726955"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10]]},"references-count":74,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,10]]}},"alternative-id":["318827"],"URL":"https:\/\/doi.org\/10.1023\/a:1026740726955","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,10]]}}}