Halldén-completeness in super-intuitionistic predicate logics
type: Item
instance of: scholarly article
title: Halldén-completeness in super-intuitionistic predicate logics
zbMATH Open document ID: 1016.03022
DOI: 10.1023/A:1022941407162
author: Nobu-Yuki Suzuki
published in: Studia Logica
publication date: 2003-04-27T00:00:00Z
Mathematics Subject Classification ID: 03B55
zbMATH DE Number: 1901327
zbMATH Keywords: Halldén-completeness
zbMATH Keywords: super-intuitionistic predicate logics
zbMATH Keywords: Kripke sheaf semantics
MaRDI profile type: Publication
full work available at URL: a:1022941407162
OpenAlex ID: W1483648153
Recommended article: Q5753933
Recommended article: Q3684108
Recommended article: A result on the completeness of superintuitionistic logics
Recommended article: Q3475247
Recommended article: Q4198474
Recommended article: Q4661992
Recommended article: Halldén completeness for relevant modal logics
Recommended article: Q5202656
Recommended article: On the strong semantical completeness of the intuitionistic predicate calculus
Recommended article: Q3772270
description: scientific article; zbMATH DE number 1901327