An extended joint consistency theorem for free logic with equality

DOI10.1305/ndjfl/1093882539zbMath0321.02012OpenAlexW1998346339MaRDI QIDQ1223089

Raymond D. Gumb

Publication date: 1979

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

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

Mathematics Subject Classification ID

General logic (03B99)

Related Items

An extended joint consistency theorem for a family of free modal logics with equality ⋮ Generalized interpolation in CASL ⋮ European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979 ⋮ The lazy logic of partial terms