Finite-valued reductions of infinite-valued logics

• 1 April 2002
• journal article
• Published by Springer Nature in Archive for Mathematical Logic
• Vol. 41  (4) , 361-399
• https://doi.org/10.1007/s001530100118

Abstract

Keywords

• DECISION PROBLEM
• PROPOSITIONAL LOGIC
• ALTERNATIVE PROOF
• PRODUCT LOGIC
• TAUTOLOGY PROBLEM