scientific article; zbMATH DE number 9973

zbMath0746.03020MaRDI QIDQ4713273

No author found.

Publication date: 25 June 1992

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

zbMATH Keywords

derivabilityconsequence relationintuitionistic logic with strong negation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Logic programming (68N17)

Related Items (11)

A logic programming system for nonmonotonic reasoning ⋮ Semantics-based nonmonotonic inference ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Logic programming and reasoning with incomplete information ⋮ On extensions of intermediate logics by strong negation ⋮ Tableaux for logic programming with strong negation ⋮ An encompassing framework for paraconsistent logic programs ⋮ Strong and explicit negation in non-monotonic reasoning and logic programming ⋮ Logic programming and knowledge representation---The A-Prolog perspective ⋮ A first order nonmonotonic extension of constructive logic ⋮ Informational interpretation of substructural propositional logics

This page was built for publication: