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

3books.google.com

3^rd place

3^rd place

5^th place

5^th place

1encyclopedia.com

462^nd place

345^th place

1philpapers.org

1,865^th place

1,260^th place

1projecteuclid.org

3,707^th place

2,409^th place

2^nd place

2^nd 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

513^th place

537^th place

books.google.com

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.

doi.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.

encyclopedia.com

The Encyclopedia of Philosophy 2023. The Encyclopedia of Philosophy, ed. (11 December 2023). "Modern Logic: The Boolean Period: Carroll". The Encyclopedia of Philosophy. Retrieved 26 December 2023.

jstor.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.

philpapers.org

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

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

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

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

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.

wolfram.com

mathworld.wolfram.com

Weisstein, Eric W. "Connective". mathworld.wolfram.com. Retrieved 2024-03-22.

worldcat.org

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.

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.