An experimental logic based on the fundamental deduction principle (Q580998)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An experimental logic based on the fundamental deduction principle
scientific article

    Statements

    An experimental logic based on the fundamental deduction principle (English)
    0 references
    0 references
    0 references
    1986
    0 references
    The author describes an automatic deductive system SYMEVAL, without unification, and its applications to various scientific disciplines: set theory, logic programming, natural language analysis, program verification, inductive reasoning. SYMEVAL applies rules, axioms and definitions by replacing expressions by logically equivalent expressions (Fundamental Deduction Principle FDP). The deduction step encodings have the general form \(C\to P=Q\). SYMEVAl uses a logic for expressing logical axioms and the INTERLISP language for expressing rules. The logic satisfies the FDP, treats universal and existential quantifiers in analogous manner and is based on the elimination of quantifiers. The system uses a technique of reducing the scope of quantifiers in order to eliminate them.
    0 references
    0 references
    experimental deductive system
    0 references
    theorem proving
    0 references
    automatic deductive system SYMEVAL
    0 references
    Fundamental Deduction Principle
    0 references
    0 references
    0 references