Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini

DOI10.1002/malq.19990450404zbMath0935.03044OpenAlexW2001290168MaRDI QIDQ4704650

Abir Nour

Publication date: 9 May 2000

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19990450404

zbMATH Keywords

algebraic semanticsapproximation logicHeyting algebra with operatorsreasoning of an intelligent agentweak deduction theorem

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Heyting algebras with Boolean operators for rough sets and information retrieval applications ⋮ The Tableau Method for a Logical System Based on a Finite Poset

Cites Work

• Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
• SYMMETRICAL HEYTING ALGEBRAS WITH OPERATORS
• Unnamed Item