scientific article; zbMATH DE number 2233301

MaRDI QIDQ5709073zbMATH OpenFDO

Authors Vladimir Sotirov

Publication date 28 November 2005

zbMATH Keywords

monadic predicate calculusterm compositionterm negationarithmetization of syllogistic

Mathematics Subject Classification ID

History of mathematics in the 17th century (01A45) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20) First-order arithmetic and fragments (03F30)

Recommendations

• Leibniz and the Calculus Ratiocinator
• Leibniz -- Beyond the calculus
• Leibniz's mathematics, a special case
• scientific article; zbMATH DE number 6490060
• Publication:4205399
• Leibniz's rigorous foundations of the method of indivisibles
• scientific article; zbMATH DE number 33110
• scientific article; zbMATH DE number 177635

Cited in

(8)

• The peripatetic program in categorical logic: Leibniz on propositional terms
• scientific article; zbMATH DE number 33110 (Why is no real title available?)
• scientific article; zbMATH DE number 1556958 (Why is no real title available?)
• scientific article; zbMATH DE number 1984526 (Why is no real title available?)
• Monadic predicate calculus with equality arithmetized à la Leibniz
• scientific article; zbMATH DE number 2187178 (Why is no real title available?)
• Arithmetizations of Syllogistic à la Leibniz
• Computing with concepts, computing with numbers: Llull, Leibniz, and Boole

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 Q5709073)