A Natural Deduction System for Keisler's Quantification | Zendy

Christian Jacques Renterıa | Zendy; Edward Hermann Hæusler | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Natural Deduction System for Keisler's Quantification

Author(s) -

Christian Jacques Renterıa,

Edward Hermann Hæusler

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.04.050

Subject(s) - natural deduction , class (philosophy) , computer science , natural (archaeology) , calculus (dental) , natural number , mathematics , programming language , artificial intelligence , discrete mathematics , medicine , archaeology , dentistry , history

Labelled deduction systems have been used to present a large class of logics. The purpose of this paper is to show N DQ, a (labelled) natural deduction system for Keisler's logic, and discuss some of its properties. This system is the result of the application of a general framework for dealing with quantifiers in natural deduction. The general use of this framework is briefly outlined

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research