Aristotle’s Relations: An Interpretation in Combinatory Logic
From MaRDI portal
Publication:5057051
DOI10.1007/978-3-030-77657-2_5OpenAlexW4312437637MaRDI QIDQ5057051
Publication date: 14 December 2022
Published in: Axiomatic Thinking I (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2007.04252
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Sociology (and profession) of mathematics (01A80)
Related Items
Cites Work
- The development of Euclidean axiomatics. The systems of principles and the foundations of mathematics in editions of the \textit{Elements} in the early modern age
- Algebras and combinators
- On the interpretation of Aristotelian syllogistic
- Aristotle'sPrior Analyticsand Boole'sLaws of Thought
- Algorithmic properties of structures
- Unnamed Item