Semantic trees for Dummett's logic LC
From MaRDI portal
Publication:1092036
DOI10.1007/BF00373275zbMath0624.03019OpenAlexW2046451304MaRDI QIDQ1092036
Publication date: 1986
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00373275
Related Items
A Multiple-Conclusion Calculus for First-Order Gödel Logic, Decision methods for linearly ordered Heyting algebras, Intuitionistic logic freed of all metarules
Cites Work
