A proof-theoretic semantics for parametric logical constants

Nissim Francez


In this paper I study the proof-theoretic semantics of *parametric* logical constant defined by *parametric I/E-rules* in a meaning conferring ND-system.

Examples of such parametric constants are conjunction/disjunction

of varying arity, and higher-order quantification of any order.

As a result, it is claimed that there is *one concept* of conjunction, disjunction and quantification.


  • There are currently no refbacks.