scientific article; zbMATH DE number 3496104
From MaRDI portal
Publication:4077985
zbMath0317.02021MaRDI QIDQ4077985
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical propositional logic (03B05) Intermediate logics (03B55) Other classical first-order model theory (03C68)
Related Items (4)
Epimorphisms in varieties of residuated structures ⋮ On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview ⋮ Codimension and pseudometric in co-Heyting algebras ⋮ A study of intermediate propositional logics on the third slice
This page was built for publication: