Contribution of Polish logicians to predicate calculus

MaRDI QIDQ2997672zbMATH OpenFDO

Authors Roman Murawski

Publication date 9 May 2011

zbMATH Keywords

algebraic methodsclassical predicate calculusfinite domainsgeneral quantifiersnatural deduction

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Classical first-order logic (03B10)

Recommendations

• Polish Logic
• Theory of logical calculi. Basic theory of consequence operations
• scientific article; zbMATH DE number 856752
• scientific article; zbMATH DE number 3983134
• Mathematical logic in Warsaw: 1918--1939

Cited in

(4)

• Polish logic, language and philosophy of language
• Quine's Philosophy of Language and Polish Logic
• scientific article; zbMATH DE number 496220 (Why is no real title available?)
• scientific article; zbMATH DE number 856752 (Why is no real title available?)

This page was built for publication: Contribution of Polish logicians to predicate calculus

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