scientific article; zbMATH DE number 3271461
From MaRDI portal
Publication:5556396
zbMath0169.29901MaRDI QIDQ5556396
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Through an Inference Rule, Darkly ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ A general method for proving decidability of intuitionistic modal logics ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
This page was built for publication:
