scientific article; zbMATH DE number 1076963

zbMath0884.03006MaRDI QIDQ4360107

Gabriel Aguilera-Venegas, Inma P. de Guzmán, Manuel Ojeda Aciego

Publication date: 25 November 1997

Full work available at URL: https://eudml.org/doc/39103

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithmŁukasiewicz logicmany-valued theorem provingpropositional three-valued logic

Mathematics Subject Classification ID

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

Related Items (4)

A first polynomial non-clausal class in many-valued logic ⋮ Reductions for non-clausal theorem proving ⋮ A temporal negative normal form which preserves implicants and implicates ⋮ The possibilistic Horn non-clausal knowledge bases

This page was built for publication: