Halldén-completeness in super-intuitionistic predicate logics
From MaRDI portal
Publication:1868242
DOI10.1023/A:1022941407162zbMath1016.03022OpenAlexW1483648153MaRDI QIDQ1868242
Publication date: 27 April 2003
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1022941407162
Related Items (3)
A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics ⋮ Definability and interpolation in non-classical logics
This page was built for publication: Halldén-completeness in super-intuitionistic predicate logics
