scientific article
From MaRDI portal
Publication:3962962
zbMath0498.03006MaRDI QIDQ3962962
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Development of contemporary mathematics (01A65) History of mathematical logic and foundations (03-03) Bibliographies for mathematics in general (00A15) General logic (03Bxx)
Related Items (4)
Algebraic aspects of deduction theorems ⋮ Does the deduction theorem fail for modal logic? ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence
This page was built for publication:
