Finite tree property for first-order logic with identity and functions
From MaRDI portal
Publication:2565989
DOI10.1305/ndjfl/1117755148zbMath1078.03044OpenAlexW2083420567MaRDI QIDQ2565989
Publication date: 28 September 2005
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1117755148
Classical first-order logic (03B10) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Cites Work