Inference in Nineteenth-Century British Logic
From MaRDI portal
Publication:6051647
DOI10.1007/978-3-030-94452-0_4OpenAlexW4315697857MaRDI QIDQ6051647
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
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