Reasoning with conditional axioms
type: Item
instance of: scholarly article
title: Reasoning with conditional axioms
zbMATH Open document ID: 0855.68097
DOI: 10.1007/BF01534452
author: Emmanuel Kounalis
author: Michaël Rusinowitch
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-01-14T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 937237
zbMATH Keywords: automatically proving theorems
zbMATH Keywords: Horn clauses
Wikidata QID: Q114693866
describes a project that uses: LARCH
MaRDI profile type: Publication
cites work: Mechanizing structural induction. I: Formal system
cites work: Proving Properties of Programs by Structural Induction
cites work: Termination of rewriting
cites work: Proving refutational completeness of theorem-proving strategies
cites work: Q3028369
cites work: Proofs by induction in equational theories with constructors
cites work: Simplifying conditional term rewriting systems: Unification, termination and confluence
cites work: Q5581665
cites work: Q4027631
cites work: Q3818295
cites work: Q4040341
cites work: A Technique for Establishing Completeness Results in Theorem Proving with Equality
cites work: Semantic confluence tests and completion methods
cites work: Q5624683
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Theorem-proving with resolution and superposition
cites work: The Concept of Demodulation in Theorem Proving
cites work: Q3805961
full work available at URL: https://doi.org/10.1007/bf01534452
OpenAlex ID: W1985483701
Recommended article: Reasoning with conditionals
Recommended article: Conditionals in reasoning
Recommended article: Conditionals and supposition-based reasoning
Recommended article: Conditional reasoning in logic programming
Recommended article: A Conditional Logical Framework
Recommended article: Q5389250
Recommended article: A New Computational Logic Approach to Reason with Conditionals
Recommended article: Foundations of conditional logic
Recommended article: A conditional logic for abduction
description: scientific article; zbMATH DE number 937237