scientific article
From MaRDI portal
Publication:3474634
zbMath0697.03011MaRDI QIDQ3474634
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intermediate logicsimple substitution propertyGödel's \(S_{\omega }\)Nishimura's one variable axioms
Related Items (3)
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ The simple substitution property of the intermediate propositional logics on finite slices ⋮ The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s
This page was built for publication:
