Inference in Nineteenth-Century British Logic

DOI10.1007/978-3-030-94452-0_4OpenAlexW4315697857MaRDI QIDQ6051647

Francine F. Abeles

Publication date: 20 September 2023

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-94452-0_4

zbMATH Keywords

inferenceBoolenineteenth centurybritish logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) History of mathematics in the 19th century (01A55) History of Chinese mathematics (01A25) General logic (03Bxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
• Some novel models of distributions over the unit square
• The Horn theory of Boole's partial algebras
• Gentzen's Proof Systems: Byproducts in a Work of Genius
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• A Machine-Oriented Logic Based on the Resolution Principle
• On sentences which are true of direct unions of algebras

This page was built for publication: Inference in Nineteenth-Century British Logic