The following pages link to (Q5802117):
Displaying 21 items.
- Unification in Boolean rings (Q1112626) (← links)
- Peirce the logician (Q1165227) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- The presence of lattice theory in discrete problems of mathematical social sciences. Why. (Q1414820) (← links)
- Controlling the complexity in model-based diagnosis (Q1924811) (← links)
- Toward a visual proof system: Lewis Carroll's method of trees (Q1942098) (← links)
- Boolean functional synthesis: hardness and practical algorithms (Q2050108) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Conditionals and consequences (Q2475433) (← links)
- N-ary selection functions and formal selective systems. I (Q2541029) (← links)
- The Robbins problem: computer proofs and human proofs (Q2746807) (← links)
- Towards Parallel Boolean Functional Synthesis (Q3303903) (← links)
- Boole's annotations on ‘the mathematical analysis of logic’ (Q3340818) (← links)
- Lewis Carroll's visual logic (Q3429442) (← links)
- Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence (Q3618448) (← links)
- <i>Analysis</i>versus<i>laws</i>boole’s explanatory psychologism versus his explanatory anti-psychologism (Q4391329) (← links)
- Diagrammatic Reasoning: Some Notes on Charles S. Peirce and Friedrich A. Lange (Q4983343) (← links)
- John Venn's Hypothetical Infinite Frequentism and Logic (Q4983366) (← links)
- PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC (Q5117592) (← links)
- Schopenhauer’s Logic in Its Historical Context (Q5118387) (← links)
- The correspondence between george boole and stanley jevons, 1863–1864 (Q5752535) (← links)
