This directory contains the following subdirectories:
directory | hits |
---|---|
cl | 1121 |
foundations | 242 |
rda40 | 96 |
and the following files:
name | title | size | hits | mdate |
---|---|---|---|---|
MathLogic-i.html | 1597 | 15 | 2016-01-18 | |
MathLogic-m.html | Mathematical Logic | 5641 | 14 | 2016-01-18 |
MathLogic.html | Mathematical Logic | 1029 | 14 | 2016-01-18 |
ar001-i.html | 1862 | 24 | 2016-01-18 | |
ar001-m.html | The Automation of Reason | 9318 | 25 | 2016-01-18 |
ar001.html | The Automation of Reason | 1096 | 24 | 2016-01-18 |
engl001.htm | Engineering Logic | 443 | 62 | 2016-01-18 |
engl002.htm | The Next Logical Revolution | 3124 | 18 | 2016-01-18 |
engl003.htm | Logical Revolutions | 1716 | 16 | 2016-01-18 |
engl004.htm | IndexFrame: Engineering Logic | 1125 | 53 | 2016-01-18 |
engl005.htm | MainFrame: Engineering Logic | 13358 | 71 | 2016-01-18 |
index.htm | Logic at RBJones.com | 617 | 117 | 2016-01-18 |
inter002.htm | Reflexive Logical Systems | 1419 | 22 | 2016-01-18 |
inter003.htm | New Classical Logical Systems | 4619 | 20 | 2016-01-18 |
inter004.htm | IndexFrame: Pure Functions | 1221 | 23 | 2016-01-18 |
inter005.htm | MainFrame: Pure Functions | 19729 | 24 | 2016-01-18 |
inter006.htm | Why ProofPower? | 4974 | 21 | 2016-01-18 |
inter007.htm | The Theory zfc | 446 | 23 | 2016-01-18 |
inter007i.htm | IndexFrame: The Theory zfc | 1351 | 32 | 2016-01-18 |
inter007m.htm | MainFrame: The Theory zfc | 14775 | 23 | 2016-01-18 |
inter008.htm | The Theory combin | 458 | 17 | 2016-01-18 |
inter008i.htm | IndexFrame: The Theory combin | 1233 | 20 | 2016-01-18 |
inter008m.htm | MainFrame: The Theory combin | 4238 | 22 | 2016-01-18 |
inter009.htm | The Theory sum | 446 | 17 | 2016-01-18 |
inter009i.htm | IndexFrame: The Theory sum | 1288 | 21 | 2016-01-18 |
inter009m.htm | MainFrame: The Theory sum | 8516 | 21 | 2016-01-18 |
inter010.htm | The Theory char | 450 | 24 | 2016-01-18 |
inter010i.htm | IndexFrame: The Theory char | 1247 | 24 | 2016-01-18 |
inter010m.htm | MainFrame: The Theory char | 3170 | 25 | 2016-01-18 |
inter011.htm | The Theory pf | 442 | 15 | 2016-01-18 |
inter011i.htm | IndexFrame: The Theory pf | 1028 | 19 | 2016-01-18 |
inter011m.htm | MainFrame: The Theory pf | 2867 | 23 | 2016-01-18 |
inter012.htm | ZFC in HOL | 1206 | 22 | 2016-01-18 |
inter013.htm | Pure Functions | 514 | 25 | 2016-01-18 |
inter014-i.htm | 2830 | 21 | 2016-01-18 | |
inter014-m.htm | Notes on Proof Theoretic Strength | 29436 | 26 | 2016-01-18 |
inter014.htm | Notes on Proof Theoretic Strength | 1116 | 32 | 2016-01-18 |
jrh0100.htm | Formalized Mathematics | 2801 | 50 | 2016-01-18 |
jrh0101.htm | History and Philosophy | 8695 | 17 | 2016-01-18 |
jrh0102.htm | Rigour and the axiomatic method | 9441 | 24 | 2016-01-18 |
jrh0103.htm | The History of Formal Logic | 9792 | 48 | 2016-01-18 |
jrh0104.htm | Hilbert's Programme | 11247 | 29 | 2016-01-18 |
jrh0105.htm | The Bourbaki view | 9531 | 42 | 2016-01-18 |
jrh0106.htm | Enter the computer | 6175 | 20 | 2016-01-18 |
jrh0107.htm | Automated Reasoning | 12792 | 24 | 2016-01-18 |
jrh0108.htm | Formalizing mathematics | 4750 | 22 | 2016-01-18 |
jrh0109.htm | Formalization | 6166 | 26 | 2016-01-18 |
jrh0110.htm | Criticism and reconstruction | 9792 | 33 | 2016-01-18 |
jrh0111.htm | The choice of a foundational system | 17083 | 32 | 2016-01-18 |
jrh0112.htm | Definitions and locutions | 10050 | 19 | 2016-01-18 |
jrh0113.htm | Partial functions and undefined terms | 10617 | 22 | 2016-01-18 |
jrh0114.htm | Practical issues | 1335 | 22 | 2016-01-18 |
jrh0115.htm | Feasibility | 7391 | 25 | 2016-01-18 |
jrh0116.htm | Extensibility and LCF | 14783 | 19 | 2016-01-18 |
jrh0117.htm | Metatheory and reflection | 15059 | 23 | 2016-01-18 |
jrh0118.htm | How much automation do we want? | 5654 | 19 | 2016-01-18 |
jrh0119.htm | User interaction | 8826 | 20 | 2016-01-18 |
jrh0120.htm | Experience of formalized mathematics | 8929 | 26 | 2016-01-18 |
jrh0121.htm | The Future | 3157 | 24 | 2016-01-18 |
jrh0122.htm | Acknowledgements | 2372 | 21 | 2016-01-18 |
jrh0123.htm | Glossary | 5259 | 22 | 2016-01-18 |
jrh01b.htm | Bibliography on Formalised Mathematics | 44454 | 36 | 2016-01-18 |
jrh01f.htm | Formalised Mathematics - footnotes | 14649 | 24 | 2016-01-18 |
log000.htm | Factasia Logic Netlinks | 519 | 33 | 2016-01-18 |
log001.htm | What is Logic? | 481 | 156 | 2016-01-18 |
log002.htm | Effective Procedures | 3232 | 35 | 2016-01-18 |
log003.htm | Boolean Propositional Logic | 3487 | 49 | 2016-01-18 |
log004.htm | An Introduction to Propositional Logics | 551 | 35 | 2016-01-18 |
log005.htm | Formal Foundation Systems for Mathematics | 3804 | 45 | 2016-01-18 |
log006.htm | Why Logic is Important | 2499 | 73 | 2016-01-18 |
log007.htm | Applications of Logic | 466 | 111 | 2016-01-18 |
log008.htm | Maths, Logic, Computing - Past Present and Future | 5482 | 17 | 2016-01-18 |
log009.htm | Proof and Computation | 3911 | 27 | 2016-01-18 |
log010.htm | Deductive Support for Science and Engineering | 3640 | 17 | 2016-01-18 |
log011.htm | HOST features | 3541 | 23 | 2016-01-18 |
log012.htm | HOST rationale | 2903 | 19 | 2016-01-18 |
log013.htm | HOST pedigree | 3003 | 26 | 2016-01-18 |
log014.htm | The Iterative Conception of Set | 674 | 34 | 2016-01-18 |
log015.htm | Perspectives on the Scope of Logic | 2996 | 24 | 2016-01-18 |
log016.htm | Factasia - Books on Logic | 397 | 36 | 2016-01-18 |
log017.htm | Semi-Formal Description of Propositional Logic | 6096 | 19 | 2016-01-18 |
log018.c | Formal Specification of Propositional Logic in C | 3846 | 2016-01-18 | |
log018.htm | Formal Specification of Propositional Logic in ML | 6974 | 34 | 2016-01-18 |
log018.sml | Formal specification of propositional logic in ML | 2683 | 2016-01-18 | |
log019.htm | First-Order Predicate Logic | 6028 | 87 | 2016-01-18 |
log020.htm | Semi-Formal Description of First Order Predicate Logic | 9139 | 45 | 2016-01-18 |
log021.htm | Formal Specification of First-Order Predicate Logic in ML | 12954 | 37 | 2016-01-18 |
log021.sml | syntax of predicate logic in ML | 4779 | 2016-01-18 | |
log022.htm | MainFrame: Books on Logic | 16069 | 40 | 2016-01-18 |
log023.htm | IndexFrame: Books on Logic | 2414 | 36 | 2016-01-18 |
log024.htm | IndexFrame: Logic | 2512 | 138 | 2016-01-18 |
log025.htm | MainFrame: Logic at RBJones.com | 29508 | 165 | 2016-01-18 |
log026.htm | The Definition of V | 500 | 20 | 2016-01-18 |
log027.htm | IndexFrame: The Definition of V | 1263 | 23 | 2016-01-18 |
log028.htm | MainFrame: The Definition of V | 8735 | 30 | 2016-01-18 |
log029.htm | MainFrame: The Iterative Conception of Set | 6393 | 35 | 2016-01-18 |
log030.htm | IndexFrame: The Iterative Conception of Set | 1225 | 27 | 2016-01-18 |
log031.htm | HOST Implementation Features | 591 | 26 | 2016-01-18 |
log032.htm | IndexFrame: HOST Implementation Features | 1137 | 18 | 2016-01-18 |
log033.htm | MainFrame: HOST Implementation Features | 5665 | 21 | 2016-01-18 |
log034.htm | HOST - Higher Order Set Theory | 650 | 26 | 2016-01-18 |
log035.htm | IndexFrame: HOST - Higher Order Set Theory | 1072 | 17 | 2016-01-18 |
log036.htm | MainFrame: HOST - Higher Order Set Theory | 8264 | 22 | 2016-01-18 |
log037.htm | IndexFrame: What is Logic? | 1207 | 126 | 2016-01-18 |
log038.htm | MainFrame: What is Logic? | 21270 | 132 | 2016-01-18 |
log039.htm | IndexFrame: An Introduction to Propositional Logics | 1223 | 29 | 2016-01-18 |
log040.htm | MainFrame: An Introduction to Propositional Logics | 11618 | 30 | 2016-01-18 |
log041.htm | Boolean Propositional Connectives | 596 | 16 | 2016-01-18 |
log042.htm | IndexFrame: Boolean Propositional Connectives | 907 | 26 | 2016-01-18 |
log043.htm | MainFrame: Boolean Propositional Connectives | 4947 | 22 | 2016-01-18 |
log044.htm | Logical People | 5731 | 19 | 2016-01-18 |
log045.htm | IndexFrame: Factasia Logic Netlinks | 1311 | 32 | 2016-01-18 |
log046.htm | MainFrame: Factasia Logic Netlinks | 12113 | 27 | 2016-01-18 |
log047.htm | Semi-Formal Description of Frege's Begriffsschrift | 3827 | 19 | 2016-01-18 |
log048.htm | Boolean Operators | 551 | 48 | 2016-01-18 |
log049.htm | IndexFrame: Boolean Operators | 1804 | 32 | 2016-01-18 |
log050.htm | MainFrame: Boolean Operators | 34388 | 43 | 2016-01-18 |
log051.htm | IndexFrame: Applications of Logic | 1351 | 94 | 2016-01-18 |
log052.htm | MainFrame: Applications of Logic | 15876 | 101 | 2016-01-18 |
log053.htm | Varieties of Logic | 642 | 28 | 2016-01-18 |
log054.htm | IndexFrame: Varieties of Logic | 1233 | 33 | 2016-01-18 |
log055.htm | MainFrame: Varieties of Logic | 8909 | 34 | 2016-01-18 |
qedres00.htm | the QED Manifesto | 1721 | 53 | 2016-01-18 |
qedres01.htm | the QED Manifesto - Why is QED important | 11946 | 34 | 2016-01-18 |
qedres02.htm | the QED Manifesto - Some Objections | 19500 | 34 | 2016-01-18 |
qedres03.htm | the QED Manifesto - Some Background | 11300 | 21 | 2016-01-18 |
qedres04.htm | QED Manifesto - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR) | 2642 | 39 | 2016-01-18 |
qedres05.htm | QED Manifesto - The Root Logic | 10524 | 21 | 2016-01-18 |
qedres06.htm | QED Manifesto - What Is To Be Done? | 8154 | 27 | 2016-01-18 |
qedres07.htm | QED Manifesto - copyright and authorship | 1945 | 22 | 2016-01-18 |
qedres08.htm | QED Manifesto - RBJ's Critique | 2957 | 20 | 2016-01-18 |
qedres09.htm | the QED Manifesto - RBJ's critique | 5256 | 22 | 2016-01-18 |
qedres10.htm | QED Manifesto - some objections and responses - RBJ's critique | 5201 | 21 | 2016-01-18 |
qedres11.htm | QED Manifesto critique - Some Background, Being a Critique of Current Related Efforts | 3294 | 22 | 2016-01-18 |
qedres12.htm | QED Manifesto critique - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR) | 1277 | 19 | 2016-01-18 |
qedres13.htm | QED Manifesto critique - The Root Logic | 1156 | 22 | 2016-01-18 |
qedres14.htm | QED Manifesto critique - What Is To Be Done? | 2301 | 20 | 2016-01-18 |
qedres15.htm | QED Manifesto - copyright and authorship | 945 | 21 | 2016-01-18 |
qedres16.htm | the QED Manifesto - what's new? | 1170 | 22 | 2016-01-18 |
qedresab.htm | the QED Manifesto - RBJ edition | 1562 | 19 | 2016-01-18 |
rbj006.htm | Logic is Important? | 3481 | 17 | 2016-01-18 |