scientific article

From MaRDI portal

Publication:3487317

Jump to:navigation, search

zbMath0707.03010MaRDI QIDQ3487317

Seiki Akama

Publication date: 1987

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

zbMATH Keywords

intuitionistic logic Prolog constructive logic Robinson's resolution principle strong negation system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Metamathematics of constructive systems (03F50)

Related Items (2)

Tableaux for logic programming with strong negation ⋮ Why Paraconsistent Logics?

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3487317&oldid=16828807"