Formal axiomatic theories based on a three-valued logic
From MaRDI portal
Publication:937906
DOI10.1007/s10958-005-0353-2zbMath1145.03014MaRDI QIDQ937906
Publication date: 18 August 2008
Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10958-005-0353-2
03F30: First-order arithmetic and fragments
03B50: Many-valued logic
03F25: Relative consistency and interpretations
Related Items
Cites Work