Predicate logic, predicates, and terms

MaRDI QIDQ3367319zbMATH OpenFDO

Authors George Englebretsen

Publication date 24 January 2006

zbMATH Keywords

predicationterm logic

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• An invitation to formal reasoning. The logic of terms
• Predication in the logic of terms
• Exploring topics in the history and philosophy of logic
• scientific article; zbMATH DE number 2043996
• scientific article; zbMATH DE number 728180

Cited in

(4)

• Exploring topics in the history and philosophy of logic
• An invitation to formal reasoning. The logic of terms
• Basic predicate calculus
• Predication in the logic of terms

This page was built for publication: Predicate logic, predicates, and terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3367319)