Relevant logic programming

DOI10.1007/BF01880329zbMath0745.03009MaRDI QIDQ1181715

A. W. Bollen

Publication date: 27 June 1992

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

relevance logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Logic programming (68N17) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Linear logic
• Perfect validity, entailment and paraconsistency
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• A basis for deductive database systems
• Making prolog more expressive
• TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relevant logic programming