On a tableau rule for identity

From MaRDI portal

Revision as of 08:14, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1241506

Jump to:navigation, search

DOI10.1305/NDJFL/1093882951zbMath0365.02017OpenAlexW2009938335MaRDI QIDQ1241506

Kathleen Johnson Wu

Publication date: 1980

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

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

zbMATH Keywords

tableau rule for identity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03B99)

This page was built for publication: On a tableau rule for identity

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1241506&oldid=13325563"