A natural deduction system for first degree entailment

Allard Tamminga, Koji Tanaka

    OnderzoeksoutputAcademicpeer review

    4 Citaten (Scopus)
    258 Downloads (Pure)


    This paper is concerned with a natural deduction system for First Degree Entailment (FDE). First, we exhibit a brief history of FDE and of combined systems whose underlying idea is used in developing the natural deduction system. Then, after presenting the language and a semantics of FDE, we develop a natural deduction system for FDE. We then prove soundness and completeness of the system with respect to the semantics. The system neatly represents the four-valued semantics for FDE.
    Originele taal-2English
    Pagina's (van-tot)258-272
    Aantal pagina's15
    TijdschriftNotre Dame Journal of Formal Logic
    Nummer van het tijdschrift2
    StatusPublished - 1999

    Citeer dit