scientific article

zbMATH Open0714.03023MaRDI QIDQ3199398

Joachim Columbus

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

many-valued logictruth-valuesproof-theoretic studiesTait-systems

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Stratifying systems through \(\tau\)-tilting theory 👍 👎
• Tame topology and Tarski-type systems 👍 👎
• Tautological systems and free divisors 👍 👎
• T-systems, Y-systems, and cluster algebras: Tamely laced case 👍 👎
• T-systems of certain finite simple groups 👍 👎
• Weakly tame systems, their characterizations and applications 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3199398)