Mark Stickel: his earliest work

DOI10.1007/s10817-015-9342-4zbMath1356.68005OpenAlexW1708341365MaRDI QIDQ287332

Donald W. Loveland

Publication date: 26 May 2016

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

Full work available at URL: https://doi.org/10.1007/s10817-015-9342-4

zbMATH Keywords

fuzzy logicBelnap's logicMESON methodunification problems

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) History of computer science (68-03)

Uses Software

• SETHEO

Cites Work

• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• SETHEO: A high-performance theorem prover
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Linear resolution with selection function
• A Unification Algorithm for Associative-Commutative Functions
• A Hole in Goal Trees: Some Guidance from Resolution Theory
• Fuzzy sets
• Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item