Comprehension contradicts to the induction within Łukasiewicz predicate logic
From MaRDI portal
Publication:1016508
DOI10.1007/s00153-009-0127-5zbMath1173.03024OpenAlexW2040000209MaRDI QIDQ1016508
Publication date: 6 May 2009
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-009-0127-5
Related Items
Cites Work