An experimental logic based on the fundamental deduction principle

DOI10.1016/0004-3702(86)90011-1zbMath0626.68064OpenAlexW1996645107MaRDI QIDQ580998

Jianyong Qiao, Sumit K. Garg

Publication date: 1986

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(86)90011-1

zbMATH Keywords

theorem provingautomatic deductive system SYMEVALexperimental deductive systemFundamental Deduction Principle

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items

Automated theorem proving in mathematics. ⋮ MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics

Cites Work

• The logical systems of Lesniewski
• Inductive reasoning on recursive equations
• An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning
• Non-resolution theorem proving
• Doing arithmetic without diagrams
• Towards the automation of set theory and its logic
• The semantics of induction and the possibility of complete systems of inductive inference
• An improved proof procedure1
• Mechanical program analysis
• A Hole in Goal Trees: Some Guidance from Resolution Theory
• Verifying Program Performance
• A Machine-Oriented Logic Based on the Resolution Principle
• Proving Properties of Programs by Structural Induction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item