Evidence algorithm and inference search in first-order logics

DOI10.1007/S10817-015-9346-0zbMATH Open1356.03055OpenAlexW2172979345MaRDI QIDQ286802FDOQ286802

Authors: Alexander Lyaletski 

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-9346-0

Recommendations

• Publication:4938416
• scientific article; zbMATH DE number 3904558
• Mathematical text processing in EA-style: a sequent aspect
• Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)
• scientific article; zbMATH DE number 4170865

zbMATH Keywords

first-order logicintuitionistic logicmodal logicsequent calculusautomated theorem provingclash-resolution methodclassical logicevidence algorithminference searchMaslov's inverse method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Cites Work

• Untersuchungen über das logische Schliessen. I
• A Machine-Oriented Logic Based on the Resolution Principle
• Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A variant of Herbrand's theorem for formulas in prenex form
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A free variable sequent calculus with uniform variable splitting
• Mathematical Knowledge Management
• Evidential paradigm: the logical aspect
• Title not available (Why is that?)
• Some problems in the theories of automata and artificial intelligence
• Title not available (Why is that?)
• Title not available (Why is that?)
• What is the inverse method?

Cited In (7)

• Evidential support logic programming
• Logical analysis of emotions in text from natural language
• Title not available (Why is that?)
• Evidential paradigm: the logical aspect
• Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)
• Mathematical text processing in EA-style: a sequent aspect
• Evidence algorithm and SAD systems: past and possible future

Uses Software

• Mizar
• SAD
• ForTheL

This page was built for publication: Evidence algorithm and inference search in first-order logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q286802)