Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents

DOI10.1016/0888-613X(91)90020-MzbMath0738.68073MaRDI QIDQ1176175

Helena Rasiowa

Publication date: 25 June 1992

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

zbMATH Keywords

Herbrand modelGentzen systemdecomposition treeresolution systemdecomposition schemeHerbrand universeD-clauseperception logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (6)

Multiple-Source Approximation Systems: Membership Functions and Indiscernibility ⋮ Formal reasoning with rough sets in multiple-source approximation systems ⋮ MGRS: a multi-granulation rough set ⋮ Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini ⋮ The Tableau Method for a Logical System Based on a Finite Poset ⋮ Multiple granulation rough set approach to ordered information systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability
• How processes learn
• Rough sets
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents