scientific article; zbMATH DE number 1324434
From MaRDI portal
Publication:4255505
zbMath0920.03019MaRDI QIDQ4255505
Christian G. Fermüller, Matthias Baaz
Publication date: 16 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Reasoning without believing: on the mechanisation of presuppositions and partiality ⋮ \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) ⋮ \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) ⋮ A mechanization of strong Kleene logic for partial functions ⋮ Higher-Order Multi-Valued Resolution ⋮ Vague Domains, S-Unification and Logic Programming
This page was built for publication:
