http://zillion.homelinux.com/twiki/bin/view/Sandbox The Sandbox web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2009 by contributing authors Shaughan Lavine [shaughanREMOVE@q.com] The contributing authors of TWiki TWiki http://zillion.homelinux.com/twiki/bin/view/Sandbox http://zillion.homelinux.com/twiki/pub/TWiki/TWikiLogos/T-logo-140x40-t.gif http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic4 98.6\textdegree F textdegree\\ $\blacksquare$ blacksquare\\ $\ulcorner\alpha\urcorner$ Quine corners\\ $\infty$ infinity\\ $\aleph$ aleph\\ $\beth$ beth\\ $\exists ... (last changed by TWikiGuest) 2009-11-22T12:15:27Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic16 Add to our list of symbols infinitely many %$n$% placed predicate variables for each natural number %$n$%. Add to the definition of formula: If %$X$% is an %$n$% ... (last changed by TWikiGuest) 2009-11-21T01:40:34Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic17 True is \top: %$\top\text{\quad}$% false is \bot: %$\bot$% %$A\top\bot B\top\bot\top\bot$% ShaughanLavine 07 Jul 2009 (last changed by TWikiGuest) 2009-11-17T00:39:06Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic11 $ Reflexivity of %$ $%: %$\Gamma\vdash t t$%, where %$t$% is a constant symbol or a variable. $ Transitivity of %$ $%: %\Gamma , r s,s t\vdash r t$%, where %$r ... (last changed by TWikiGuest) 2009-11-16T09:58:17Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic6 %$\square P$% square %$\lozenge P$% lozenge .TWikiPreferences TestTopic6 ShaughanLavine 26 Aug 2008 (last changed by TWikiGuest) 2009-11-15T21:47:15Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/LatexModePluginGreaterBug Before and after fix, left % nop \ \textgreater\ % right% nop BR%test text correctly produced: left %\ \textgreater\ % righttest text Before fix, left % nop ... (last changed by TWikiGuest) 2009-11-05T02:18:46Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic22 Sandbox.WebHome . %$(A\Rightarrow A)$% TWikiAdminGroup 05 Oct 2009 (last changed by TWikiGuest) 2009-11-05T02:12:35Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic1 Full Schemas and Categoricity FullSchemasandCategoricityHandout Thanks Thanks for inviting me. Full Schemas and Categoricity What I intend to do today is introduce ... (last changed by TWikiGuest) 2009-11-05T02:10:18Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic2 %$A$% (last changed by TWikiGuest) 2009-11-05T02:10:15Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic12 $ Reflexivity of %$ $%: %$\Gamma\vdash t t$%, where %$t$% is a constant symbol or a variable. $ Transitivity of %$ $%: %\Gamma , r s,s t\vdash r t$%, where %$r ... (last changed by TWikiGuest) 2009-11-05T02:10:01Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic14 $ Reflexivity of %$ $%: %$\Gamma\vdash t t$%, where %$t$% is a constant symbol or a variable. $ Transitivity of %$ $%: %$\Gamma , r s,s t\vdash r t$%, where %$r ... (last changed by TWikiGuest) 2009-11-05T02:09:57Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic13 $ Reflexivity of %$ $%: %$\Gamma\vdash t t$%, where %$t$% is a constant symbol or a variable. $ Transitivity of %$ $%: %\Gamma , r s,s t\vdash r t$%, where %$r ... (last changed by TWikiGuest) 2009-11-05T02:09:54Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic3 %$\to\neg$% (last changed by TWikiGuest) 2009-11-05T01:40:30Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic10 A derivation (or proof) of %$\phi$% from %$\Gamma$% is a finite sequence of inferences %$\Sigma {i}\vdash\phi {i}$% such that the last one is %$\Gamma\vdash\phi%$ ... (last changed by TWikiGuest) 2009-11-02T20:14:41Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic8 1. Punctuate the following sentences so that they are true:I am Shaughan. My name is Shaughan. My name's name is Shaughan, and it begins with a single quotation mark ... (last changed by TWikiGuest) 2009-10-30T02:21:26Z guest http://zillion.homelinux.com/twiki/bin/view/Sandbox/TestTopic15 ShaughanLavine 04 May 2009 Sorted logic Syntax of sorted logicLet %$S$% be a set of sorts. Instead of one set of variables, we have one set for each sort. Each ... (last changed by TWikiGuest) 2009-10-29T01:27:29Z guest