Contribution of Polish logicians to predicate calculus

MaRDI QIDQ2997672zbMATH OpenFDO

Authors Roman Murawski

Publication date 9 May 2011

zbMATH Keywords

natural deductionclassical predicate calculusalgebraic methodsfinite domainsgeneral quantifiers

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

(3)

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

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)