Method of analytic tableaux (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Method of analytic tableaux" in English language version.

refsWebsite

Global rank English rank

4books.google.com

3^rd place

3^rd place

5^th place

5^th place

2^nd place

2^nd place

1philpapers.org

1,865^th place

1,260^th place

1projecteuclid.org

3,707^th place

2,409^th place

26^th place

20^th place

1semanticscholar.org

11^th place

8^th place

1web.archive.org

1^st place

1^st place

4,854^th place

9,224^th place

low place

low place

books.google.com (Global: 3^rd place; English: 3^rd place)

Howson 2005, p. 27. Howson, Colin (11 October 2005) [1997]. Logic with trees: an introduction to symbolic logic. Routledge. ISBN 978-1-134-78550-6.
Girle 2014. Girle, Rod (2014). Modal Logics and Philosophy (2nd ed.). Taylor & Francis. ISBN 978-1-317-49217-7.
Smullyan 1995. Smullyan, Raymond (1995) [1968]. First Order-Logic. Dover. ISBN 978-0-486-68370-6.
Smullyan 1995, pp. 21–22. Smullyan, Raymond (1995) [1968]. First Order-Logic. Dover. ISBN 978-0-486-68370-6.

doi.org (Global: 2^nd place; English: 2^nd place)

Carnielli 1987. Carnielli, Walter A. (1987). "Systematization of Finite Many-Valued Logics Through the Method of Tableaux". The Journal of Symbolic Logic. 52 (2): 473–493. doi:10.2307/2274395. JSTOR 2274395. S2CID 42822367.
Jarmużek 2020, pp. 30–36. Jarmużek, Tomasz (2020). Hartman, Jan (ed.). "Tableau Methods for Propositional Logic and Term Logic" (PDF). Series: Studies in Philosophy, History of Ideas and Modern Societies. 20. Translated by Jaskólski, Sławomir. Berlin, Bern, Bruxelles, New York, Oxford, Warszawa, Wien: Peter Lang: 228. doi:10.3726/b18008. ISBN 9783631846537. ISSN 2191-1878.

jstor.org (Global: 26^th place; English: 20^th place)

Carnielli 1987. Carnielli, Walter A. (1987). "Systematization of Finite Many-Valued Logics Through the Method of Tableaux". The Journal of Symbolic Logic. 52 (2): 473–493. doi:10.2307/2274395. JSTOR 2274395. S2CID 42822367.

peterlang.com (Global: low place; English: low place)

Jarmużek 2020, pp. 30–36. Jarmużek, Tomasz (2020). Hartman, Jan (ed.). "Tableau Methods for Propositional Logic and Term Logic" (PDF). Series: Studies in Philosophy, History of Ideas and Modern Societies. 20. Translated by Jaskólski, Sławomir. Berlin, Bern, Bruxelles, New York, Oxford, Warszawa, Wien: Peter Lang: 228. doi:10.3726/b18008. ISBN 9783631846537. ISSN 2191-1878.

philpapers.org (Global: 1,865^th place; English: 1,260^th place)

Beth 1955. Beth, Evert W. (1955). "Semantic entailment and formal derivability". Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde. 18 (13): 309–42. Reprinted in Intikka, Jaakko, ed. (1969). The Philosophy of Mathematics. Oxford University Press. ISBN 978-0-19-875011-6.

projecteuclid.org (Global: 3,707^th place; English: 2,409^th place)

Carnielli 1987. Carnielli, Walter A. (1987). "Systematization of Finite Many-Valued Logics Through the Method of Tableaux". The Journal of Symbolic Logic. 52 (2): 473–493. doi:10.2307/2274395. JSTOR 2274395. S2CID 42822367.

semanticscholar.org (Global: 11^th place; English: 8^th place)

api.semanticscholar.org

Carnielli 1987. Carnielli, Walter A. (1987). "Systematization of Finite Many-Valued Logics Through the Method of Tableaux". The Journal of Symbolic Logic. 52 (2): 473–493. doi:10.2307/2274395. JSTOR 2274395. S2CID 42822367.

unicamp.br (Global: 4,854^th place; English: 9,224^th place)

cle.unicamp.br

Carnielli 1991. Carnielli, Walter A. (1991). "On sequents and tableaux for many-valued logics" (PDF). The Journal of Non-Classical Logics. 8 (1): 59–76. Archived from the original (PDF) on 2016-03-05. Retrieved 2014-10-11.

web.archive.org (Global: 1^st place; English: 1^st place)

Carnielli 1991. Carnielli, Walter A. (1991). "On sequents and tableaux for many-valued logics" (PDF). The Journal of Non-Classical Logics. 8 (1): 59–76. Archived from the original (PDF) on 2016-03-05. Retrieved 2014-10-11.

worldcat.org (Global: 5^th place; English: 5^th place)

search.worldcat.org

Restall, Greg (2006). Logic: an introduction. Fundamentals of philosophy. London; New York: Routledge. pp. 5, 42, 55. ISBN 978-0-415-40067-1. OCLC 63115330.
Jarmużek 2020, pp. 30–36. Jarmużek, Tomasz (2020). Hartman, Jan (ed.). "Tableau Methods for Propositional Logic and Term Logic" (PDF). Series: Studies in Philosophy, History of Ideas and Modern Societies. 20. Translated by Jaskólski, Sławomir. Berlin, Bern, Bruxelles, New York, Oxford, Warszawa, Wien: Peter Lang: 228. doi:10.3726/b18008. ISBN 9783631846537. ISSN 2191-1878.