Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility

DOI10.2307/2267133zbMath0035.00501OpenAlexW2016676818WikidataQ114589268 ScholiaQ114589268MaRDI QIDQ5792478

Atwell R. Turquette

Publication date: 1948

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2267133

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items (1)

Non-standard models for formal logics

This page was built for publication: Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility