scientific article; zbMATH DE number 4174899

MaRDI QIDQ3199398zbMATH OpenFDO

Authors Joachim Columbus

Publication date 1989

zbMATH Keywords

many-valued logicproof-theoretic studiesTait-systemstruth-values

Mathematics Subject Classification ID

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

Recommendations

• Tame topology and Tarski-type systems
• T-systems of certain finite simple groups
• scientific article; zbMATH DE number 5018640
• From the Iwasawa decomposition to a Tits system
• Tautological systems and free divisors
• Stratifying systems through \(\tau\)-tilting theory
• T-systems, Y-systems, and cluster algebras: Tamely laced case
• Weakly tame systems, their characterizations and applications
• scientific article; zbMATH DE number 3853087
• T-systems in ternary semigroups.

Cited in

(3)

• Exact generalized tautologies in the fuzzy modal logic system MŁuk
• A SUFFICIENT AND NECESSARY CONDITION FOR TARSKI'S PROPERTY IN LINDENBAUM'S EXTENSIONS
• From the research on logics without tautologies. I

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)