scientific article; zbMATH DE number 5813735
From MaRDI portal
Publication:3055596
zbMATH Open1200.03003MaRDI QIDQ3055596FDOQ3055596
Authors: George (the late) Boole 
Publication date: 8 November 2010
Title of this publication is not available (Why is that?)
History of mathematics in the 19th century (01A55) Biographies, obituaries, personalia, bibliographies (01A70) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03)
Cited In (29)
- Reconciling first-order logic to algebra
- Aristotle, Boole, and categories
- A computational approach to George Boole's discovery of mathematical logic
- Three dual ontologies
- Balancing Necessity and Fallibilism: Charles Sanders Peirce on the Status of Mathematics and its Intersection with the Inquiry into Nature
- Title not available (Why is that?)
- Boole’s Symbolized Laws of Thought Facing Empiricism
- Title not available (Why is that?)
- Remarkable similarities: a dialogue between Boole and De Morgan
- Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication
- Boole's annotations on ‘the mathematical analysis of logic’
- Multivalued logic at the nanoscale
- \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new?
- Augustus De Morgan's unpublished octagon of opposition
- Logic, Mathematics, and the A Priori, Part II: Core Logic as Analytic, and as the Basis for Natural Logicism
- Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus
- Inference in Nineteenth-Century British Logic
- Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai
- Title not available (Why is that?)
- Influences on Boole's logic: The controversy between William Hamilton and Augustus De Morgan
- The anticipatory profile. An attempt to describe anticipation as process
- Boole’s Untruth Tables: The Formal Conditions of Meaning Before the Emergence of Propositional Logic
- Parallel constructions of maximal path sets and applications to short superstrings
- Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing
- The influence of Boole's search for a universal method in analysis on the creation of his logic
- An audited elementary algebra
- The peripatetic program in categorical logic: Leibniz on propositional terms
- Solving knights-and-knaves with one equation
- Traditional logic, modern logic and natural language
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3055596)
