Publication | Closed Access

N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure

Non-classical LogicSyntaxEngineeringLogical FoundationsAutomated ReasoningHypothetical ImplicationClassical LogicNonmonotonic LogicPhilosophy Of LogicFormal MethodsLanguage StudiesSemanticsLinguisticsLogical Formalism