List of axiomatic systems in logic (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "List of axiomatic systems in logic" in English language version.

refsWebsite

Global rank English rank

6,358^th place

4,781^st place

low place

6^th place

69^th place

59^th place

26^th place

20^th place

5^th place

anl.gov

"Some New Results in Logical Calculi Obtained Using Automated Reasoning", Zac Ernst, Ken Harris, & Branden Fitelson, http://www.mcs.anl.gov/research/projects/AR/award-2001/fitelson.pdf
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus, LARRY WOS, DOLPH ULRICH, BRANDEN FITELSON; arXiv:cs/0211015v1

Łukasiewicz, Jan (1948). "The Shortest Axiom of the Implicational Calculus of Propositions". Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences. 52: 25–33. ISSN 0035-8975. JSTOR 20488489.

Łukasiewicz, Jan (1948). "The Shortest Axiom of the Implicational Calculus of Propositions". Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences. 52: 25–33. ISSN 0035-8975. JSTOR 20488489.