The following pages link to (Q3055596):
Displaying 19 items.
- Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing (Q358690) (← links)
- Traditional logic, modern logic and natural language (Q843766) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- A computational approach to George Boole's discovery of mathematical logic (Q1392259) (← links)
- \(L\)-fuzzy sets and isomorphic lattices: are all the ``new'' results really new? (Q1634480) (← links)
- Three dual ontologies (Q1868336) (← links)
- The anticipatory profile. An attempt to describe anticipation as process (Q3168391) (← links)
- Multivalued Logic at the Nanoscale (Q3295755) (← links)
- Solving Knights-and-Knaves with One Equation (Q3298825) (← links)
- Aristotle, Boole, and Categories (Q3299850) (← links)
- Reconciling First-Order Logic to Algebra (Q3305345) (← links)
- Balancing Necessity and Fallibilism: Charles Sanders Peirce on the Status of Mathematics and its Intersection with the Inquiry into Nature (Q3627819) (← links)
- The influence of Boole's search for a universal method in analysis on the creation of his logic (Q4135449) (← links)
- Influences on Boole's logic: The controversy between William Hamilton and Augustus De Morgan (Q4189238) (← links)
- Remarkable Similarities: A dialogue between Boole and De Morgan (Q4562871) (← links)
- Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication (Q4983359) (← links)
- THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS (Q5221292) (← links)
- An audited elementary algebra (Q5361506) (← links)
- Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus (Q6180120) (← links)
