Publication:3322079

zbMATH Open0537.03017MaRDI QIDQ3322079FDOQ3322079

Tetsuo Nakamura

Publication date: 1983

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

zbMATH Keywords

disjunction propertyexistence propertyHarrop formulaslogic of constant domainsKripke models for intuitionistic logic

Mathematics Subject Classification ID

Intermediate logics (03B55) Model theory (03C99)

Cited In (9)

• On the Negative Disjunction Property
• Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
• A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
• The disjunction property of intermediate propositional logics
• Eliminating disjunctions of leads-to properties
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
• An infinite class of maximal intermediate propositional logics with the disjunction property
• Title not available (Why is that?)
• A new semantics for intuitionistic predicate logic

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 Q3322079)