scientific article; zbMATH DE number 2233301

zbMATH Open1098.03018MaRDI QIDQ5709073FDOQ5709073

Authors: Vladimir Sotirov 

Publication date: 28 November 2005

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computing with concepts, computing with numbers: Llull, Leibniz, and Boole
• Monadic predicate calculus with equality arithmetized à la Leibniz
• Arithmetizations of Syllogistic à la Leibniz
• The peripatetic program in categorical logic: Leibniz on propositional terms
• Title not available (Why is that?)

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)