scientific article; zbMATH DE number 877750

zbMath0859.68094MaRDI QIDQ4877443

Hans Jürgen Ohlbach

Publication date: 31 March 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semanticsredundancyproof searchHilbert systemsframe propertiesquantifier elimination algorithmcomputer support for application-oriented logicsexpressiveness of a logic

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Quantifier elimination, model completeness, and related topics (03C10) Other applications of logic (03B80)

Related Items

Tools for the Investigation of Substructural and Paraconsistent Logics, Taming Paraconsistent (and Other) Logics, Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi