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

intermediate predicate logic[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Halld%EF%BF%BD%EF%BF%BDn-+completeness&go=Go Halld��n- completeness]pseudo-relevance property

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited in

(5)

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

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)