scientific article
From MaRDI portal
Publication:3837739
zbMath0865.03014MaRDI QIDQ3837739
Publication date: 1 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Schauder basismany-valued logicSchauder hatadmissible simplexcoding of nonsingular toric varieties by tautologiesformal basisinfinite valued sentential calculusŁukasiewicz normal formsUlam game with two liesunimodular simplicial complex
Related Items (6)
Geometry of Robinson consistency in Łukasiewicz logic ⋮ Unnamed Item ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Searching games with errors -- fifty years of coping with liars ⋮ The complexity of McNaughton functions of one variable ⋮ Resolution and model building in the infinite-valued calculus of Łukasiewicz
This page was built for publication:
