DOI10.1002/malq.19820281902zbMath0496.03034OpenAlexW1999840750MaRDI QIDQ3960841
Martin W. Bunder
Publication date: 1982 Published in: Mathematical Logic Quarterly (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1002/malq.19820281902
zbMATH Keywords
abstraction axiomfour valued truth tables
Mathematics Subject Classification ID
Other nonclassical logic (03B60) Nonclassical and second-order set theories (03E70)
Related Items