Some syntactical properties of intermediate predicate logics

DOI10.1305/NDJFL/1093635590MaRDI QIDQ1174672zbMATH OpenOpenAlexFDO

Authors Nobu-Yuki Suzuki

Publication date 25 June 1992

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093635590

zbMATH Keywords

Halldén- completenessintermediate predicate logicpseudo-relevance property

Mathematics Subject Classification ID

Intermediate logics (03B55)

Review text

An intermediate predicate logic L is said to have the pseudo-relevance property if for all formulas A and B which contain no predicate variable in common, either not-A or B is provable in L whenever A implies B is provable in L. In this paper the author studies the relationship between this property and Halldén-completeness, which is similar to this property in some sense.

Cited in

(5)

• The disjunction property of intermediate propositional logics
• scientific article; zbMATH DE number 4139716 (Why is no real title available?)
• scientific article; zbMATH DE number 3933040 (Why is no real title available?)
• scientific article; zbMATH DE number 3995642 (Why is no real title available?)
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics

This page was built for publication: Some syntactical properties of intermediate predicate logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1174672)