scientific article
From MaRDI portal
Publication:2783429
zbMath0985.03003MaRDI QIDQ2783429
Publication date: 21 April 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicpropositional logicentailmentsymbolic reasoningcalculus of equivalent statementsHugh MacCollimplication between propositionsJFM 37.0066.06
History of mathematics in the 20th century (01A60) Modal logic (including the logic of norms) (03B45) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items