scientific article; zbMATH DE number 3784836

MaRDI QIDQ3962962zbMATH OpenFDO

Authors Jean Porte

Publication date 1982

zbMATH Keywords

bibliographydeducibilitymodal logicnecessityrelevant logic

Mathematics Subject Classification ID

Bibliographies for mathematics in general (00A15) Development of contemporary mathematics (01A65) History of mathematical logic and foundations (03-03) Modal logic (including the logic of norms) (03B45) General logic (03Bxx)

Cited in

(5)

• Algebraic aspects of deduction theorems
• Does the deduction theorem fail for modal logic?
• Axiomatic and dual systems for constructive necessity, a formally verified equivalence
• The Deduction Theorem (Before and After Herbrand)
• Janusz Czelakowski's research on the theory of matrices and its applications in the seventies and eighties of the 20th century

This page was built for publication:

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