Publication:2783429

zbMath0985.03003MaRDI QIDQ2783429

Fania Cavaliere

Publication date: 21 April 2002

zbMATH Keywords

modal logic; propositional logic; entailment; symbolic reasoning; calculus of equivalent statements; Hugh MacColl; implication between propositions; JFM 37.0066.06

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03B45: Modal logic (including the logic of norms)

01A70: Biographies, obituaries, personalia, bibliographies

03-03: History of mathematical logic and foundations

01A55: History of mathematics in the 19th century

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

Related Items

Russell and his sources for non-classical logics