scientific article; zbMATH DE number 1324434

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.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

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: