scientific article; zbMATH DE number 1341471
From MaRDI portal
Publication:4263010
zbMath0931.03038MaRDI QIDQ4263010
Publication date: 28 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cut-eliminationaxiomatizationfinite-valued Gödel logic\(n\)-contraction law\(n\)-weak law of excluded middleaffine intuitionistic linear logiccut-free hypersequent calculifinite-valued Łukasiewicz logic
Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (1)
This page was built for publication:
