On Meredith's sole positive axiom

DOI10.1305/NDJFL/1093891409zbMath0281.02032OpenAlexW2009430427WikidataQ114598239 ScholiaQ114598239MaRDI QIDQ1843559

Ivo Thomas

Publication date: 1974

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

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

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (1)

Positive logic and \(\lambda\)-constants

This page was built for publication: On Meredith's sole positive axiom