Edit Profile (opens in new tab) Sylvan, Richard Compute Distance To: Compute Author ID: routley.richard Published as: Routley, R.; Routley, Richard; Sylvan, Richard more...less Further Spellings: Routley, Francis Richard External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 96 Publications since 1965, including 4 Books 2 Contributions as Editor · 1 Further Contribution Biographic References: 4 Publications Co-Authors: 22 Co-Authors with 50 Joint Publications 189 Co-Co-Authors all top 5 Co-Authors 47 single-authored 18 Meyer, Robert Kenneth 12 Priest, Graham 8 Montgomery, Hugh-A 4 Brady, Ross Thomas 4 Routley, V. 3 Dunn, Jon Michael 3 Goddard, Leonard 3 Plumwood, Val 2 Loparić, Andréa M. 2 Norman, Jean 2 Urbas, Igor 1 Akama, Seiki 1 Angell, Richard Bradshaw 1 Beall, Jc 1 Belnap, Nuel D. jun. 1 Casati, Filippo Gabrio Edoardo 1 Crosthwaite, J. 1 Da Costa, Newton Carneiro Affonso 1 Eckert, Maureen 1 Fine, Kit 1 Freeman, James B. 1 Griffin, Nicholas 1 Griffin, Nicolas 1 Hazen, Allen P. 1 Hyde, Dominic 1 Kielkopf, Charles F. 1 Mares, Edwin D. 1 Martin, Errol Peter 1 Morgan, Charles Grady 1 Myhill, John R. 1 Parks-Clifford, J. 1 Parks, Zane 1 Parry, William Tuthill 1 Restall, Greg 1 Ripley, David 1 Slaney, John K. 1 Urquhart, Alasdair 1 van Dijk, T. A. 1 Wolf, Robert Stanley all top 5 Serials 19 Logique et Analyse. Nouvelle Série 12 Studia Logica 7 Notre Dame Journal of Formal Logic 6 Journal of Philosophical Logic 5 Bulletin of the Section of Logic 4 Reports on Mathematical Logic 4 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 The Journal of Symbolic Logic 2 Nôus 1 Mathematische Annalen 1 Revista Colombiana de Matemáticas 1 Synthese 1 Philosophia Mathematica. Series III 1 Analysis 1 Synthese Library 1 Western Philosophy Series all top 5 Fields 82 Mathematical logic and foundations (03-XX) 3 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 1 Statistics (62-XX) 1 Computer science (68-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 65 Publications have been cited 760 times in 439 Documents Cited by ▼ Year ▼ Relevant logics and their rivals. Part I: The basic philosophical and semantical theory. Zbl 0579.03011Routley, Richard; Plumwood, Val; Meyer, Robert K.; Brady, Ross T. 98 1982 The semantics of entailment. Zbl 0317.02017Routley, Richard; Meyer, Robert K. 64 1973 The semantics of entailment. III. Zbl 0317.02019Routley, Richard; Meyer, Robert K. 60 1972 The semantics of entailment. II. Zbl 0317.02018Routley, Richard; Meyer, Robert K. 52 1972 The semantics of first degree entailment. Zbl 1366.03122Routley, R.; Routley, V. 46 1972 Paraconsistent logic. Essays on the inconsistent. Zbl 0678.00003 42 1989 Algebraic analysis of entailment. I. Zbl 0336.02020Meyer, Robert K.; Routley, Richard 35 1972 Contingency and non-contingency bases for normal modal logics. Zbl 0294.02008Montgomery, H.; Routley, R. 25 1966 Classical relevant logics. I. Zbl 0316.02029Meyer, Robert K.; Routley, Richard 25 1973 Classical relevant logics. II. Zbl 0316.02030Meyer, Robert K.; Routley, Richard 24 1974 Curry’s paradox. Zbl 0411.03019Meyer, Robert K.; Routley, Richard; Dunn, J. Michael 21 1979 Simplified semantics for basic relevant logics. Zbl 0782.03008Priest, Graham; Sylvan, Richard 20 1992 Systems of paraconsistent logic. Zbl 0697.03015Priest, Graham; Routley, R. 18 1989 On the ternary relation and conditionality. Zbl 1260.03049Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard 17 2012 Semantical analyses of propositional systems of Fitch and Nelson. Zbl 0356.02022Routley, Richard 16 1974 The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics. Zbl 0583.03012Routley, Richard 15 1984 A semantical analysis of implicational system I and of the first degree of entailment. Zbl 0255.02017Routley, Richard 15 1972 The logic of significance and context. Vol. 1. Zbl 0302.02004Goddard, Leonard; Routley, Richard 12 1973 On systems containing Aristotle’s thesis. Zbl 0165.30301Routley, R.; Montgomery, H. 11 1968 Applications of paraconsistent logic. Zbl 0697.03016Priest, Graham; Routley, R. 10 1989 Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\). Zbl 0733.03016Sylvan, Richard 8 1990 Introduction: Paraconsistent logics. Zbl 0575.03017Priest, Graham; Routley, Richard 7 1984 The philosophical significance and inevitability of paraconsistency. Zbl 0688.03005Priest, Graham; Routley, R. 7 1989 Ultralogic as universal? Zbl 0435.03005Routley, Richard 6 1977 Every sentential logic has a two-valued worlds semantics. Zbl 0347.02016Routley, Richard; Meyer, Robert K. 6 1976 Relevant logics and their rivals. Vol. II. A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady. Edited by Ross Brady. Zbl 1398.03011Sylvan, Richard; Meyer, Robert K.; Plumwood, Val; Brady, Ross T. 6 2003 Semantics for connexive logics. I. Zbl 0405.03009Routley, Richard 5 1978 Alternative semantics for quantified first degree relevant logic. Zbl 0406.03033Routley, Richard 5 1979 The non-triviality of extensional dialectical set theory. Zbl 0691.03037Brady, R. T.; Routley, R. 5 1989 First historical introduction. A preliminary history of paraconsistent and dialethic approaches. Zbl 0697.03014Priest, Graham; Routley, R. 5 1989 Directions in relevant logic. Zbl 0731.03014 5 1989 Non-contingency axioms for S4 and S5. Zbl 0169.30003Montgomery, H.; Routley, R. 5 1968 Modalities in a sequence of normal non-contingency modal systems. Zbl 0196.00902Montgomery, H.; Routley, R. 5 1969 Universal semantics? Zbl 0333.02007Routley, Richard 4 1975 Moral dilemmas and the logic of deontic notions. Zbl 0685.03018Routley, R.; Plumwood, V. 4 1989 Some things do not exist. Zbl 0192.03301Routley, R. 4 1966 Repairing proofs of Arrow’s general impossibility theorem and enlarging the scope of the theorem. Zbl 0438.90011Routley, R. 3 1979 Paraconsistent classical logic. Zbl 0835.03002Sylvan, Richard; Urbas, Igor 3 1993 The decidability and semantical incompleteness of Lemmon’s system SO.5. Zbl 0172.29202Routley, R. 3 1968 Extensions of Makinson’s completeness theorems in modal logic. Zbl 0197.27702Routley, R. 3 1970 Negation and contradiction. Zbl 0614.03007Routley, R.; Routley, V. 3 1985 On interpreting truth tables and relevant truth table logic. Zbl 0771.03001Sylvan, Richard 2 1992 Towards a logic of relative identity. Zbl 0416.03006Routley, Richard; Griffin, Nicholas 2 1979 Choice and descriptions in enriched intensional languages. I. Zbl 0285.02023Routley, R.; Meyer, R. K.; Goddard, L. 2 1974 A rival account of logical consequence. Zbl 0308.02025Routley, Richard 2 1974 Towards a general semantical theory of implication and conditionals. II. Improved negation theory and propositional identity. Zbl 0394.03028Routley, Richard; Meyer, Robert K. 2 1977 Semantical analysis of Arruda da Costa P systems and adjacent non- replacement relevant systems. Zbl 0406.03034Routley, Richard; Loparic, Andrea 2 1978 Modal reduction axioms in extensions of S1. Zbl 0182.00503Montgomery, H.; Routley, R. 2 1968 Decision procedures and semantics for \(C1\), \(E1\), and \(SO.5^\circ\). Zbl 0195.29804Routley, R. 2 1968 Relevant conditionals, and relevant application thereof. Zbl 0947.03502Sylvan, Richard 1 1997 Constant domain semantics for quantified non-normal modal logics and for certain quantified quasi-entailment logics. Zbl 0419.03009Routley, Richard 1 1978 On the philosophical bases of relevant logic semantics. Zbl 0513.03002Routley, R.; Routley, V.; Meyer, R. K.; Martin, E. P. 1 1982 The importance of nonexistent objects and of intensionality in mathematics. Zbl 1048.03008Sylvan, Richard 1 2003 An undecidable relevant logic. Zbl 0301.02024Meyer, Robert K.; Routley, Richard 1 1973 Towards a general semantical theory of implication and conditionals. I: Systems with normal conjunctions and disjunctions and aberrant and normal negations. Zbl 0314.02032Routley, Richard; Meyer, Robert K. 1 1975 Welding semantics for weak strict modal logics into the general framework of modal logic semantics. Zbl 0412.03004Routley, Richard 1 1977 An outline of the history of (logical) dialectic. Zbl 0688.03004Priest, Graham; Routley, R. 1 1989 Relational semantics for all Lewis, Lemmon and Feys’ modal logics, most notably for systems between \(S0.3^ 0\) and S1. Zbl 0714.03015Sylvan, Richard 1 1989 Contradiction, assertion and ‘Frege’s point’. Zbl 0943.03535Priest, Graham; Sylvan, Richard 1 1989 Other withered stumps of time. Zbl 0917.03006Sylvan, Richard 1 1996 Existence and identity in quantified modal logics. Zbl 0169.29902Routley, R. 1 1969 Non-existence does not exist. Zbl 0169.30001Routley, R. 1 1970 A simple natural deduction systems. Zbl 0207.00402Routley, R. 1 1969 Relevant containment logics and certain frame problems of AI. Zbl 0727.03012Sylvan, Richard 1 1988 A relevant invalidity in Curry’s foundations. Zbl 0642.03010Sylvan, Richard 1 1987 On the ternary relation and conditionality. Zbl 1260.03049Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard 17 2012 Relevant logics and their rivals. Vol. II. A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady. Edited by Ross Brady. Zbl 1398.03011Sylvan, Richard; Meyer, Robert K.; Plumwood, Val; Brady, Ross T. 6 2003 The importance of nonexistent objects and of intensionality in mathematics. Zbl 1048.03008Sylvan, Richard 1 2003 Relevant conditionals, and relevant application thereof. Zbl 0947.03502Sylvan, Richard 1 1997 Other withered stumps of time. Zbl 0917.03006Sylvan, Richard 1 1996 Paraconsistent classical logic. Zbl 0835.03002Sylvan, Richard; Urbas, Igor 3 1993 Simplified semantics for basic relevant logics. Zbl 0782.03008Priest, Graham; Sylvan, Richard 20 1992 On interpreting truth tables and relevant truth table logic. Zbl 0771.03001Sylvan, Richard 2 1992 Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\). Zbl 0733.03016Sylvan, Richard 8 1990 Paraconsistent logic. Essays on the inconsistent. Zbl 0678.00003 42 1989 Systems of paraconsistent logic. Zbl 0697.03015Priest, Graham; Routley, R. 18 1989 Applications of paraconsistent logic. Zbl 0697.03016Priest, Graham; Routley, R. 10 1989 The philosophical significance and inevitability of paraconsistency. Zbl 0688.03005Priest, Graham; Routley, R. 7 1989 The non-triviality of extensional dialectical set theory. Zbl 0691.03037Brady, R. T.; Routley, R. 5 1989 First historical introduction. A preliminary history of paraconsistent and dialethic approaches. Zbl 0697.03014Priest, Graham; Routley, R. 5 1989 Directions in relevant logic. Zbl 0731.03014 5 1989 Moral dilemmas and the logic of deontic notions. Zbl 0685.03018Routley, R.; Plumwood, V. 4 1989 An outline of the history of (logical) dialectic. Zbl 0688.03004Priest, Graham; Routley, R. 1 1989 Relational semantics for all Lewis, Lemmon and Feys’ modal logics, most notably for systems between \(S0.3^ 0\) and S1. Zbl 0714.03015Sylvan, Richard 1 1989 Contradiction, assertion and ‘Frege’s point’. Zbl 0943.03535Priest, Graham; Sylvan, Richard 1 1989 Relevant containment logics and certain frame problems of AI. Zbl 0727.03012Sylvan, Richard 1 1988 A relevant invalidity in Curry’s foundations. Zbl 0642.03010Sylvan, Richard 1 1987 Negation and contradiction. Zbl 0614.03007Routley, R.; Routley, V. 3 1985 The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics. Zbl 0583.03012Routley, Richard 15 1984 Introduction: Paraconsistent logics. Zbl 0575.03017Priest, Graham; Routley, Richard 7 1984 Relevant logics and their rivals. Part I: The basic philosophical and semantical theory. Zbl 0579.03011Routley, Richard; Plumwood, Val; Meyer, Robert K.; Brady, Ross T. 98 1982 On the philosophical bases of relevant logic semantics. Zbl 0513.03002Routley, R.; Routley, V.; Meyer, R. K.; Martin, E. P. 1 1982 Curry’s paradox. Zbl 0411.03019Meyer, Robert K.; Routley, Richard; Dunn, J. Michael 21 1979 Alternative semantics for quantified first degree relevant logic. Zbl 0406.03033Routley, Richard 5 1979 Repairing proofs of Arrow’s general impossibility theorem and enlarging the scope of the theorem. Zbl 0438.90011Routley, R. 3 1979 Towards a logic of relative identity. Zbl 0416.03006Routley, Richard; Griffin, Nicholas 2 1979 Semantics for connexive logics. I. Zbl 0405.03009Routley, Richard 5 1978 Semantical analysis of Arruda da Costa P systems and adjacent non- replacement relevant systems. Zbl 0406.03034Routley, Richard; Loparic, Andrea 2 1978 Constant domain semantics for quantified non-normal modal logics and for certain quantified quasi-entailment logics. Zbl 0419.03009Routley, Richard 1 1978 Ultralogic as universal? Zbl 0435.03005Routley, Richard 6 1977 Towards a general semantical theory of implication and conditionals. II. Improved negation theory and propositional identity. Zbl 0394.03028Routley, Richard; Meyer, Robert K. 2 1977 Welding semantics for weak strict modal logics into the general framework of modal logic semantics. Zbl 0412.03004Routley, Richard 1 1977 Every sentential logic has a two-valued worlds semantics. Zbl 0347.02016Routley, Richard; Meyer, Robert K. 6 1976 Universal semantics? Zbl 0333.02007Routley, Richard 4 1975 Towards a general semantical theory of implication and conditionals. I: Systems with normal conjunctions and disjunctions and aberrant and normal negations. Zbl 0314.02032Routley, Richard; Meyer, Robert K. 1 1975 Classical relevant logics. II. Zbl 0316.02030Meyer, Robert K.; Routley, Richard 24 1974 Semantical analyses of propositional systems of Fitch and Nelson. Zbl 0356.02022Routley, Richard 16 1974 Choice and descriptions in enriched intensional languages. I. Zbl 0285.02023Routley, R.; Meyer, R. K.; Goddard, L. 2 1974 A rival account of logical consequence. Zbl 0308.02025Routley, Richard 2 1974 The semantics of entailment. Zbl 0317.02017Routley, Richard; Meyer, Robert K. 64 1973 Classical relevant logics. I. Zbl 0316.02029Meyer, Robert K.; Routley, Richard 25 1973 The logic of significance and context. Vol. 1. Zbl 0302.02004Goddard, Leonard; Routley, Richard 12 1973 An undecidable relevant logic. Zbl 0301.02024Meyer, Robert K.; Routley, Richard 1 1973 The semantics of entailment. III. Zbl 0317.02019Routley, Richard; Meyer, Robert K. 60 1972 The semantics of entailment. II. Zbl 0317.02018Routley, Richard; Meyer, Robert K. 52 1972 The semantics of first degree entailment. Zbl 1366.03122Routley, R.; Routley, V. 46 1972 Algebraic analysis of entailment. I. Zbl 0336.02020Meyer, Robert K.; Routley, Richard 35 1972 A semantical analysis of implicational system I and of the first degree of entailment. Zbl 0255.02017Routley, Richard 15 1972 Extensions of Makinson’s completeness theorems in modal logic. Zbl 0197.27702Routley, R. 3 1970 Non-existence does not exist. Zbl 0169.30001Routley, R. 1 1970 Modalities in a sequence of normal non-contingency modal systems. Zbl 0196.00902Montgomery, H.; Routley, R. 5 1969 Existence and identity in quantified modal logics. Zbl 0169.29902Routley, R. 1 1969 A simple natural deduction systems. Zbl 0207.00402Routley, R. 1 1969 On systems containing Aristotle’s thesis. Zbl 0165.30301Routley, R.; Montgomery, H. 11 1968 Non-contingency axioms for S4 and S5. Zbl 0169.30003Montgomery, H.; Routley, R. 5 1968 The decidability and semantical incompleteness of Lemmon’s system SO.5. Zbl 0172.29202Routley, R. 3 1968 Modal reduction axioms in extensions of S1. Zbl 0182.00503Montgomery, H.; Routley, R. 2 1968 Decision procedures and semantics for \(C1\), \(E1\), and \(SO.5^\circ\). Zbl 0195.29804Routley, R. 2 1968 Contingency and non-contingency bases for normal modal logics. Zbl 0294.02008Montgomery, H.; Routley, R. 25 1966 Some things do not exist. Zbl 0192.03301Routley, R. 4 1966 all cited Publications top 5 cited Publications all top 5 Cited by 318 Authors 23 Robles, Gemma 16 Brady, Ross Thomas 15 Meyer, Robert Kenneth 14 Mares, Edwin D. 14 Priest, Graham 14 Restall, Greg 13 Dunn, Jon Michael 13 Sylvan, Richard 13 Wansing, Heinrich Theodor 10 Bimbó, Katalin 10 Fan, Jie 10 Kamide, Norihiro 8 Omori, Hitoshi 7 Odintsov, Sergei P. 7 Weber, Zach 6 Urquhart, Alasdair 5 Badia, Guillermo 5 Ferguson, Thomas Macaulay 5 Humberstone, Lloyd 5 Ripley, David 5 Seki, Takahiro 4 Beall, Jc 4 Dezani-Ciancaglini, Mariangiola 4 Došen, Kosta 4 Drobyshevich, Sergeĭ Andreevich 4 Goble, Lou 4 Maddux, Roger D. 4 Petrukhin, Yaroslav Igorevich 4 Pizzi, Claudio Ercole Antonio 4 Salto, Francisco 3 Başkent, Can 3 Batens, Diderik 3 Belnap, Nuel D. jun. 3 Berto, Francesco 3 Brink, Chris 3 Da Costa, Newton Carneiro Affonso 3 De, Michael 3 Fuhrmann, Andre T. 3 Fussner, Wesley 3 Hazen, Allen P. 3 Kremer, Philip 3 Lance, Mark Norris 3 Mortensen, Chris 3 Øgaard, Tore Fjetland 3 Slaney, John K. 3 Standefer, Shawn 3 Szmuc, Damian Enrique 3 Tedder, Andrew 3 Verdée, Peter 3 Weiss, Yale 2 Akama, Seiki 2 Allo, Patrick 2 Arenhart, Jonas Rafael Becker 2 Beirlaen, Mathieu 2 Béziau, Jean-Yves 2 Blok, Willem Johannes 2 Brown, Bryson 2 Cabalar, Pedro 2 Carnielli, Walter Alexandre 2 Chakraborty, Mihir Kumar 2 Cintula, Petr 2 Fagin, Ronald 2 Fallahi, Asadollah 2 Fine, Kit 2 Freeman, James B. 2 Gabbay, Dov M. 2 Giambrone, Steve 2 Goranko, Valentin F. 2 Halpern, Joseph Yehuda 2 Hartonas, Chrysafis 2 Lenzen, Wolfgang 2 Logan, Shay Allen 2 López, Sandra M. 2 McKubre-Jordens, Maarten 2 Meheus, Joke 2 Motohama, Yoko 2 Niki, Satoru 2 Oller, Carlos A. 2 Onishi, Takuro 2 Paoli, Francesco 2 Pelletier, Francis Jeffry 2 Pym, David J. 2 Raftery, James G. 2 Rogerson, Susan 2 Schurz, Gerhard 2 Sedlár, Igor 2 Shangin, Vasily 2 Slater, Barry Hartley 2 Strasser, Christian 2 Suzuki, Tomoyuki 2 Tofts, Chris 2 Valverde, Agustín 2 van Ditmarsch, Hans Pieter 2 Vardi, Moshe Ya’akov 2 Venneri, Betti 2 Wang, Yanjing 2 Yang, Eunsuk 1 Albuquerque, Hugo 1 Allwein, Gerard 1 Anderson, Michael L. ...and 218 more Authors all top 5 Cited in 49 Serials 90 Journal of Philosophical Logic 66 Studia Logica 35 Notre Dame Journal of Formal Logic 22 Journal of Applied Non-Classical Logics 18 Logic and Logical Philosophy 17 The Review of Symbolic Logic 14 Logica Universalis 12 The Journal of Symbolic Logic 12 Synthese 10 Journal of Logic, Language and Information 6 Journal of Applied Logic 4 Artificial Intelligence 4 Theoretical Computer Science 4 Bulletin of the Section of Logic 4 Journal of Automated Reasoning 4 International Journal of Approximate Reasoning 4 The Bulletin of Symbolic Logic 4 Topoi 3 Algebra and Logic 3 Algebra Universalis 3 History and Philosophy of Logic 2 Annals of Pure and Applied Logic 2 MSCS. Mathematical Structures in Computer Science 2 Archive for Mathematical Logic 2 Erkenntnis 2 Nôus 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Journal of Pure and Applied Algebra 1 Kybernetes 1 Mathematische Annalen 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 Quaestiones Mathematicae 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Theory and Decision 1 New Generation Computing 1 Information and Computation 1 Formal Aspects of Computing 1 Mathematical Logic Quarterly (MLQ) 1 Annals of Mathematics and Artificial Intelligence 1 Soft Computing 1 Foundations of Science 1 Sādhanā 1 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 1 ACM Transactions on Computational Logic 1 Foundations of Physics 1 International Journal of Semantic Computing 1 Journal of Logical and Algebraic Methods in Programming 1 European Journal of Mathematics 1 Philosophical Studies all top 5 Cited in 15 Fields 431 Mathematical logic and foundations (03-XX) 44 Computer science (68-XX) 13 History and biography (01-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 4 General and overarching topics; collections (00-XX) 4 Group theory and generalizations (20-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 General algebraic systems (08-XX) 2 Real functions (26-XX) 1 Combinatorics (05-XX) 1 Geometry (51-XX) 1 General topology (54-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.