Axiom schemes for m-valued functional calculi of first order. Part II

DOI10.2307/2268662MaRDI QIDQ5804176zbMATH OpenOpenAlexWikidataFDO

Authors Atwell R. Turquette, J. Barkley Rosser

Publication date 1951

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(2)

• Second-order logic of paradox
• Replacement in logic

This page was built for publication: Axiom schemes for m-valued functional calculi of first order. Part II

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