scientific article; zbMATH DE number 3062907
From MaRDI portal
Publication:5802117
zbMath0041.34803MaRDI QIDQ5802117
Publication date: 1948
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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, 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
