An algebraic semantics of notional entailment logic Cn

DOI10.1016/0020-0190(90)90079-DzbMath0704.68077OpenAlexW2033359462MaRDI QIDQ917325

Jingde Cheng

Publication date: 1990

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(90)90079-d

zbMATH Keywords

knowledge engineeringentailment logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Knowledge representation (68T30) Semantics in the theory of computing (68Q55)

Cites Work

• Begründung einer strengen Implikation
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An algebraic semantics of notional entailment logic Cn