scientific article

zbMath0676.03016MaRDI QIDQ3830979

Hiroakira Ono

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

surveyintermediate predicate logicsThe author gives more than ten problems

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (15)

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics ⋮ On the predicate logics of finite Kripke frames ⋮ Constructing a continuum of predicate extensions of each intermediate propositional logic ⋮ A note on sequent calculi intermediate between LJ and LK ⋮ On finite linear intermediate predicate logics ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics ⋮ Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ The disjunction property of intermediate propositional logics ⋮ Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas ⋮ Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics ⋮ On maximal intermediate predicate constructive logics ⋮ A uniform tableau method for intuitionistic modal logics. I

This page was built for publication: