Simplifying the axioms of the predicate calculus

DOI10.1305/NDJFL/1093883051MaRDI QIDQ1252222zbMATH OpenOpenAlexWikidataFDO

Authors Jean Porte

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/1093883051

zbMATH Keywords

Axiomatic SystemPredicate Calculus

Mathematics Subject Classification ID

Classical first-order logic (03B10)

This page was built for publication: Simplifying the axioms of the predicate calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1252222)