Search results
MyWikiBiz, Author Your Legacy — Saturday December 13, 2025
Jump to navigationJump to search
Page title matches
- #REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory]]82 bytes (9 words) - 00:18, 27 November 2008
- #REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy]]80 bytes (10 words) - 00:22, 27 November 2008
- #REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions]]86 bytes (10 words) - 02:42, 9 September 2017
- {{DISPLAYTITLE:Functional Logic : Quantification Theory}} ==Toward a Functional Conception of Quantificational Logic==81 KB (10,378 words) - 02:22, 5 July 2013
- {{DISPLAYTITLE:Functional Logic : Higher Order Propositions}} ==Functional Conception of Quantification Theory==105 KB (15,890 words) - 03:12, 4 July 2013
- {{DISPLAYTITLE:Functional Logic : Inquiry and Analogy}} ...he three fundamental types of reasoning that Peirce adopted from classical logic. In Peirce's analysis both inquiry and analogy are complex programs of rea106 KB (13,991 words) - 18:45, 18 March 2020
Page text matches
- #REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory]]82 bytes (9 words) - 00:18, 27 November 2008
- #REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy]]80 bytes (10 words) - 00:22, 27 November 2008
- #REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions]]86 bytes (10 words) - 02:42, 9 September 2017
- ===Sep — Zeroth Order Logic=== ===Dec — Functional Conception Of Quantificational Logic===7 KB (890 words) - 14:20, 12 June 2009
- : 1-adic functional case: : 2-adic functional case:5 KB (718 words) - 02:12, 13 September 2016
- ...rsci.ss.uci.edu/wiki/index.php/Peirce%27s_1870_Logic_Of_Relatives Peirce's Logic Of Relatives] ...i.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]15 KB (1,907 words) - 14:08, 9 October 2017
- ...s://oeis.org/wiki/User:Jon_Awbrey/Peirce%27s_Logic_Of_Information Peirce's Logic Of Information] Functional Logic [https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy (1)]16 KB (2,092 words) - 14:20, 14 January 2021
- {{DISPLAYTITLE:Functional Logic : Quantification Theory}} ==Toward a Functional Conception of Quantificational Logic==81 KB (10,378 words) - 02:22, 5 July 2013
- {{DISPLAYTITLE:Functional Logic : Higher Order Propositions}} ==Functional Conception of Quantification Theory==105 KB (15,890 words) - 03:12, 4 July 2013
- {{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}} ==A Functional Conception of Propositional Calculus==22 KB (3,003 words) - 21:40, 2 July 2008
- * [[Logic of relatives]] * [[Logic of relatives]]43 KB (6,715 words) - 13:25, 22 June 2009
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...tt{(} x_1 \texttt{,} \ldots \texttt{,} x_k \texttt{)}~\!</math> a discrete functional analogue of a point-omitted neighborhood in ordinary real analysis, more ex23 KB (3,337 words) - 13:54, 3 September 2017
- ...[[Peter Lombard]], Burley opposed Ockham on a number of points concerning logic and [[natural philosophy]]. ...the [[propositional logic|propositional calculus]] over the [[first-order logic|predicate calculus]], despite the fact that the latter had been the main fo9 KB (1,124 words) - 11:25, 18 January 2009
- And here is a classical logic proof of the type proposition: ...tentative link between the pattern of information conversion implicated in functional application and the pattern of information conversion involved in the logic150 KB (9,422 words) - 23:54, 6 July 2013
- ==Logic of Relatives== |+ '''Table 14.1 Semantic Translation : Functional Form'''24 KB (2,668 words) - 11:18, 14 October 2025
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...study from the perspectives of abstract algebra on the one hand and formal logic on the other.25 KB (3,665 words) - 21:04, 16 November 2015
- * [[Logic of relatives]] * [[Logic of relatives]]46 KB (7,067 words) - 04:10, 22 May 2010
- ...">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...er of relations. Relations and their combinations may be described in the logic of relative terms, in set theories of various kinds, and through a broadeni65 KB (6,802 words) - 18:14, 14 November 2015
- {{DISPLAYTITLE:Functional Logic : Inquiry and Analogy}} ...he three fundamental types of reasoning that Peirce adopted from classical logic. In Peirce's analysis both inquiry and analogy are complex programs of rea106 KB (13,991 words) - 18:45, 18 March 2020
- <font size=4>'''Differential Logic : Series A'''</font><br> ...e you have a really decent calculus for boolean functions or propositional logic, whatever you want to call it, is to compute the differentials of these fun112 KB (11,050 words) - 14:19, 22 May 2007
