Some syntactical properties of intermediate predicate logics
From MaRDI portal
Publication:1174672
DOI10.1305/ndjfl/1093635590zbMath0745.03024OpenAlexW1989601351MaRDI QIDQ1174672
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
Related Items (2)
A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ The disjunction property of intermediate propositional logics
This page was built for publication: Some syntactical properties of intermediate predicate logics