scientific article; zbMATH DE number 3316031
From MaRDI portal
Publication:5595152
zbMath0198.32205MaRDI QIDQ5595152
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Partial up an down logic ⋮ Honesty in partial logic ⋮ A proof-theoretic account of classical principles of truth ⋮ On unification and admissible rules in Gabbay-de Jongh logics ⋮ Double negation as minimal negation ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ The Story of $$\gamma $$ γ ⋮ Kripke semantics for higher-order type theory applied to constraint logic programming languages ⋮ Normal modal model theory ⋮ Reference and perspective in intuitionistic logics
This page was built for publication:
