A note on the deductive completeness of m-valued propositional calculi

DOI10.2307/2269229zbMath0036.00701OpenAlexW2001263628MaRDI QIDQ5793825

J. Barkley Rosser, Atwell R. Turquette

Publication date: 1950

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

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

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items

Bounded contraction and Gentzen-style formulation of Łukasiewicz logics