scientific article; zbMATH DE number 3316031

zbMATH Open0198.32205MaRDI QIDQ5595152FDOQ5595152

Authors:

Publication date: 1968

Title of this publication is not available (Why is that?)

zbMATH Keywords

algebraic logic, model theory

Cited In (12)

• On different intuitionistic calculi and embeddings from Int to S4
• Kripke semantics for higher-order type theory applied to constraint logic programming languages
• On unification and admissible rules in Gabbay-de Jongh logics
• Saturated free algebras and almost indiscernible theories
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• The Story of $$\gamma $$ γ
• Partial up an down logic
• Normal modal model theory
• Honesty in partial logic
• Double negation as minimal negation
• Reference and perspective in intuitionistic logics
• A proof-theoretic account of classical principles of truth

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5595152)