Publication:3322079: Difference between revisions
From MaRDI portal
Publication:3322079
Created automatically from import240129110113 |
(No difference)
|
Latest revision as of 13:01, 4 February 2024
zbMATH Open0537.03017MaRDI QIDQ3322079FDOQ3322079
Publication date: 1983
Title of this publication is not available (Why is that?)
disjunction propertyexistence propertyHarrop formulaslogic of constant domainsKripke models for intuitionistic logic
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)