On the nonaxiomatizability of some logics by finitely many schemas
From MaRDI portal
Publication:1820771
DOI10.1305/ndjfl/1093636517zbMath0615.03016OpenAlexW2053221524MaRDI QIDQ1820771
Saharon Shelah, Charles I. Steinhorn
Publication date: 1986
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093636517
Related Items (2)
There are reasonably nice logics ⋮ The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
This page was built for publication: On the nonaxiomatizability of some logics by finitely many schemas