scientific article; zbMATH DE number 3062907

zbMath0041.34803MaRDI QIDQ5802117

George (the late) Boole

Publication date: 1948

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Philosophy and foundations of mathematics

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75)

Related Items (22)

Relation-algebraic semantics ⋮ Semantic forgetting in answer set programming ⋮ Unification in Boolean rings ⋮ Controlling the complexity in model-based diagnosis ⋮ Toward a visual proof system: Lewis Carroll's method of trees ⋮ PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC ⋮ Schopenhauer’s Logic in Its Historical Context ⋮ The presence of lattice theory in discrete problems of mathematical social sciences. Why. ⋮ Peirce the logician ⋮ Towards Parallel Boolean Functional Synthesis ⋮ The Robbins problem: computer proofs and human proofs ⋮ Conditionals and consequences ⋮ Analysisversuslawsboole’s explanatory psychologism versus his explanatory anti-psychologism ⋮ Boole's annotations on ‘the mathematical analysis of logic’ ⋮ The correspondence between george boole and stanley jevons, 1863–1864 ⋮ Solving String Theories Involving Regular Membership Predicates Using SAT ⋮ Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence ⋮ Boolean functional synthesis: hardness and practical algorithms ⋮ N-ary selection functions and formal selective systems. I ⋮ Diagrammatic Reasoning: Some Notes on Charles S. Peirce and Friedrich A. Lange ⋮ John Venn's Hypothetical Infinite Frequentism and Logic ⋮ Lewis Carroll's visual logic

This page was built for publication: