scientific article
From MaRDI portal
Publication:2721190
zbMath0963.03008MaRDI QIDQ2721190
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Graph-based decision for Gödel-Dummett logics ⋮ Labelled Calculi for Łukasiewicz Logics ⋮ A family of Gödel hybrid logics ⋮ Gödel logics with monotone operators ⋮ Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus ⋮ Optimization in temporal qualitative constraint networks