Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- File:Peirce's Law Strong Form 1.0 Storyboard 2.png + (19:22:15, 14 June 2010)
- File:Peirce's Law Strong Form 1.0 Storyboard 3.png + (19:23:14, 14 June 2010)
- File:Peirce's Law Strong Form 1.0 Storyboard 4.png + (19:24:09, 14 June 2010)
- File:Equational Inference Rule Collect p.png + (19:25:22, 14 June 2010)
- File:Equational Inference Rule Quit ((q)).png + (19:26:03, 14 June 2010)
- File:Peirce's Law Strong Form 2.0 Animation.gif + (19:30:18, 14 June 2010)
- File:Venn Diagram (P,Q,R).jpg + (18:02:57, 20 June 2010)
- File:Venn Diagram ((P),(Q),(R)).jpg + (18:04:13, 20 June 2010)
- File:Hypostatic Abstraction Figure 1.png + (16:04:17, 21 June 2010)
- File:Hypostatic Abstraction Figure 2.png + (16:06:33, 21 June 2010)
- File:Hypostatic Abstraction Figure 3.png + (16:08:24, 21 June 2010)
- File:Hypostatic Abstraction Figure 4.png + (16:10:50, 21 June 2010)
- Charles Sanders Peirce + (16:32:07, 30 September 2010)
- Schistosomiasis Control Initiative + (07:48:06, 19 February 2013)
- File:Venn Diagram (P,Q).jpg + (14:50:27, 3 October 2013)
- User:Jon Awbrey + (15:28:44, 28 October 2015)
- Exclusive disjunction + (01:46:48, 31 October 2015)
- Logical conjunction + (02:02:02, 31 October 2015)
- Logical disjunction + (00:56:48, 2 November 2015)
- Semeiotic + (21:30:07, 3 November 2015)
- Logical equality + (04:24:54, 4 November 2015)
- Logical implication + (20:20:11, 4 November 2015)
- Logical NAND + (23:00:10, 4 November 2015)
- Logical NNOR + (03:54:03, 5 November 2015)
- Logical negation + (14:18:22, 5 November 2015)
).png){kind=link}
).png){kind=link}
.jpg){kind=link}
.jpg){kind=link}
,(Q),(R)).jpg){kind=link}
,(Q),(R)).jpg){kind=link}
.jpg){kind=link}
.jpg){kind=link}
- Boolean domain + (19:56:28, 5 November 2015)
- Boolean function + (20:25:45, 5 November 2015)
- Boolean-valued function + (21:16:46, 5 November 2015)
- Differential logic + (22:34:13, 5 November 2015)
- Logical graph + (14:38:32, 6 November 2015)
- Minimal negation operator + (19:22:24, 6 November 2015)
- Multigrade operator + (04:12:40, 7 November 2015)
- Parametric operator + (04:18:37, 7 November 2015)
- Propositional calculus + (16:02:26, 7 November 2015)
- Sole sufficient operator + (18:10:08, 7 November 2015)
- Truth table + (18:31:02, 7 November 2015)
- Universe of discourse + (19:14:55, 7 November 2015)
- Zeroth order logic + (03:08:28, 9 November 2015)
- Continuous predicate + (04:10:56, 10 November 2015)
- Hypostatic object + (18:45:04, 10 November 2015)
- Hypostatic abstraction + (18:58:54, 10 November 2015)
- Prescisive abstraction + (19:12:07, 10 November 2015)
- Logic of relatives + (22:54:22, 10 November 2015)
- The Simplest Mathematics + (15:36:55, 11 November 2015)
- Logical matrix + (16:16:49, 11 November 2015)
- Relation (mathematics) + (17:10:44, 14 November 2015)
- Relation composition + (18:18:41, 14 November 2015)
- Relation construction + (19:24:03, 14 November 2015)
- Relation reduction + (03:36:00, 15 November 2015)
- Sign relation + (21:35:04, 15 November 2015)