scientific article
From MaRDI portal
Publication:3291523
zbMath0106.00408MaRDI QIDQ3291523
Publication date: 1961
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Decision procedures for S3∘ and S4∘ ⋮ Proof systems for super-strict implication ⋮ Labelled sequent calculi for Lewis' non-normal propositional modal logics
This page was built for publication:
