{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:44:16Z","timestamp":1725576256538},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232124"},{"type":"electronic","value":"9783540302100"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30210-0_5","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T10:34:36Z","timestamp":1295346876000},"page":"38-51","source":"Crossref","is-referenced-by-count":3,"title":["A Paraconsistent Higher Order Logic"],"prefix":"10.1007","author":[{"given":"J\u00f8rgen","family":"Villadsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"A.R. Anderson","year":"1975","unstructured":"Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity. Princeton University Press, Princeton (1975)"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"345","DOI":"10.4064\/fm-52-3-345-350","volume":"52","author":"P.B. Andrews","year":"1963","unstructured":"Andrews, P.B.: A reduction of the axioms for the theory of propositional types. Fundamenta Mathematicae\u00a052, 345\u2013350 (1963)","journal-title":"Fundamenta Mathematicae"},{"key":"5_CR3","volume-title":"A Transfinite Type Theory with Type Variables","author":"P.B. Andrews","year":"1965","unstructured":"Andrews, P.B.: A Transfinite Type Theory with Type Variables. North-Holland, Amsterdam (1965)"},{"key":"5_CR4","volume-title":"An Introduction to Mathematical Logic and Type Theory: To Truth through Proof","author":"P.B. Andrews","year":"1986","unstructured":"Andrews, P.B.: An Introduction to Mathematical Logic and Type Theory: To Truth through Proof. Academic Press, London (1986)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/BF00252180","volume":"16","author":"P.B. Andrews","year":"1996","unstructured":"Andrews, P.B., Bishop, M., Issar, S., Nesmith, D., Pfenning, F., Xi, H.: TPS: A theorem proving system for classical type theory. Journal of Automated Reasoning\u00a016, 321\u2013353 (1996)","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR6","unstructured":"Arieli, O., Avron, A.: Bilattices and paraconsistency. In: Batens, D., Mortensen, C., Priest, G., Van-Bengedem, J. (eds.) Frontiers in Paraconsistent Logic, pp. 11\u201327. Research Studies Press (2000)"},{"key":"5_CR7","volume-title":"The Lambda Calculus, Its Syntax and Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus, Its Syntax and Semantics. North-Holland, Amsterdam (1984) (revised edition)"},{"key":"5_CR8","first-page":"8","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N.D. Belnap Jr.","year":"1977","unstructured":"Belnap Jr., N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 8\u201337. D. Reidel, Dordrecht (1977)"},{"key":"5_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BFb0054256","volume-title":"Automated Deduction - CADE-15","author":"C. Benzm\u00fcller","year":"1998","unstructured":"Benzm\u00fcller, C., Kohlhase, M.: LEO: A higher-order theorem prover. In: Kirchner, C., Kirchner, H. (eds.) CADE 1998. LNCS (LNAI), vol.\u00a01421, pp. 139\u2013143. Springer, Heidelberg (1998)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A. Church","year":"1940","unstructured":"Church, A.: A formulation of the simple theory of types. Journal of Symbolic Logic\u00a05, 56\u201368 (1940)","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"5_CR11","doi-asserted-by":"publisher","first-page":"208","DOI":"10.2307\/3327996","volume":"38","author":"G. Evans","year":"1978","unstructured":"Evans, G.: Can there be vague objects? Analysis\u00a038(4), 208 (1978)","journal-title":"Analysis"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M. Ginsberg","year":"1988","unstructured":"Ginsberg, M.: Multivalued logics: A uniform approach to inference in artificial intelligence. Computer Intelligence\u00a04, 265\u2013316 (1988)","journal-title":"Computer Intelligence"},{"key":"5_CR13","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logics. Research Studies Press (2001)"},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"323","DOI":"10.4064\/fm-52-3-323-344","volume":"52","author":"L. Henkin","year":"1963","unstructured":"Henkin, L.: A theory of propositional types. Fundamenta Mathematicae\u00a052, 323\u2013344 (1963)","journal-title":"Fundamenta Mathematicae"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Kohlhase, M.: Ortwin Scheja. Higher-order multi-valued resolution. Journal of Applied Non-Classical Logic 9(4) (1999)","DOI":"10.1080\/11663081.1999.10510980"},{"key":"5_CR16","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1997","unstructured":"Mendelson, E.: Introduction to Mathematical Logic, 4th edn. Chapman and Hall, Boca Raton (1997)","edition":"4"},{"key":"5_CR17","volume-title":"Meaning and Partiality","author":"R. Muskens","year":"1995","unstructured":"Muskens, R.: Meaning and Partiality. CSLI Publications, Stanford (1995)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle","author":"L.C. Paulson","year":"1994","unstructured":"Paulson, L.C.: Isabelle \u2013 A Generic Theorem Prover. In: Paulson, L.C. (ed.) Isabelle. LNCS, vol.\u00a0828, Springer, Heidelberg (1994)"},{"key":"5_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/3-540-48199-0_16","volume-title":"Logical Aspects of Computational Linguistics","author":"J. Villadsen","year":"2001","unstructured":"Villadsen, J.: Combinators for paraconsistent attitudes. In: de Groote, P., Morrill, G., Retor\u00e9, C. (eds.) LACL 2001. LNCS (LNAI), vol.\u00a02099, pp. 261\u2013278. Springer, Heidelberg (2001)"},{"key":"5_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/3-540-36109-X_29","volume-title":"Flexible Query Answering Systems","author":"J. Villadsen","year":"2002","unstructured":"Villadsen, J.: Paraconsistent query answering systems. In: Andreasen, T., Motro, A., Christiansen, H., Larsen, H.L. (eds.) FQAS 2002. LNCS (LNAI), vol.\u00a02522, pp. 370\u2013384. Springer, Heidelberg (2002)"},{"key":"5_CR21","unstructured":"Villadsen, J.: Supra-logic: Using transfinite type theory with type variables for paraconsistency. In: III World Congress on Paraconsistency, Toulouse, France (2003)"},{"key":"5_CR22","volume-title":"Second German Conference on Multiagent System Technologies","author":"J. Villadsen","year":"2004","unstructured":"Villadsen, J.: Paraconsistent assertions. In: Second German Conference on Multiagent System Technologies, Springer, Heidelberg (2004); To appear in LNCS"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-36469-2_15","volume-title":"Mathematical Knowledge Management","author":"F. Wiedijk","year":"2003","unstructured":"Wiedijk, F.: Comparing mathematical provers. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol.\u00a02594, pp. 188\u2013202. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30210-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:56:00Z","timestamp":1620014160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30210-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232124","9783540302100"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30210-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}