scientific article; zbMATH DE number 1471991
From MaRDI portal
zbMATH Open0952.03022MaRDI QIDQ4489075FDOQ4489075
Authors: Nobu-Yuki Suzuki 
Publication date: 11 January 2001
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3906478
- On superintuitionistic logics as fragments of proof logic extensions
- Constructing a continuum of predicate extensions of each intermediate propositional logic
- scientific article; zbMATH DE number 3861126
- Interpolation property and superintuitionistic predicate logics
superintuitionistic logiclattice structure of the set of super-intuitionistic predicate logics having the same propositional fragment
Cited In (5)
- On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
- Title not available (Why is that?)
- A remark on a peculiarity in the functor semantics for superintuitionistic predicate logics with (or without) equality
- Title not available (Why is that?)
- Title not available (Why is that?)
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 Q4489075)
