Sunday, May 03, 2015
Counterexample Feature Completed for somerby.net/logic
The "Counterexample" button now works for modal statements as well as non-modal statements in somerby.net/mack/logic.
Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
logic, a spice rack, and some other things
Posts
blogs that I like
- Arc Rose Studios
- John's Blog
- Kruse Kronicle
- Letters to Nature
- NaClhv
- Notes from Dave
- Pilgrim, not Wanderer
- Programming in the 21st Century
- Psephizo
- Quintessence of Dust
- Quodlibeta
- Surprised by Logic
- The Bible Salesman
- The Monday Heretic
- The Ugly Guitar Truth
- Typewriter Monkey Task Force
- Undivided Looking
sites that are not blogs
Labels
- automated theorem proving (1)
- Bazz Fuss (1)
- Bible (4)
- Calvin and Hobbes (1)
- DIY (1)
- effects pedal (1)
- foundations of mathematics (4)
- G.K. Chesterton (2)
- hexadecimal numbers (5)
- Kirke's house (1)
- KML (2)
- Lambda Calculus (1)
- language recognition (1)
- links (1)
- logic (12)
- Monopoly (1)
- Narnia (1)
- Perl (2)
- Perl poetry (1)
- philosophy (8)
- probability (2)
- psychology (1)
- recommended reading (4)
- S9014 (1)
- Samuel Johnson (1)
- schematics (1)
- short (4)
- software (17)
- spice racks (1)
- sunshine (1)
- the number one (3)
- theology (2)
- UK (2)
- UPL (14)
- Vampire (1)
No comments:
Post a Comment