scientific article; zbMATH DE number 3062907
From MaRDI portal
Publication:5802117
Cited in
(25)- Unification in Boolean rings
- Peirce the logician
- Relation-algebraic semantics
- The presence of lattice theory in discrete problems of mathematical social sciences. Why.
- Controlling the complexity in model-based diagnosis
- Toward a visual proof system: Lewis Carroll's method of trees
- Boolean functional synthesis: hardness and practical algorithms
- Semantic forgetting in answer set programming
- Conditionals and consequences
- N-ary selection functions and formal selective systems. I
- The Robbins problem: computer proofs and human proofs
- Towards Parallel Boolean Functional Synthesis
- Boole's annotations on ‘the mathematical analysis of logic’
- Lewis Carroll's visual logic
- Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence
- Analysisversuslawsboole’s explanatory psychologism versus his explanatory anti-psychologism
- Diagrammatic Reasoning: Some Notes on Charles S. Peirce and Friedrich A. Lange
- John Venn's hypothetical infinite frequentism and logic
- Peirce's calculi for classical propositional logic
- Schopenhauer’s Logic in Its Historical Context
- The correspondence between george boole and stanley jevons, 1863–1864
- Solving String Theories Involving Regular Membership Predicates Using SAT
- Hamilton's cumular conception of quantifying particles: an exercise in third-order logic
- When Lawvere meets Peirce: an equational presentation of Boolean hyperdoctrines
- The calculus of neo-Peircean relations
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 Q5802117)
