Logical constant

Known as: Constant, Logical constants, Logical term

In logic, a logical constant of a language is a symbol that has the same semantic value under every interpretation of . Two important types of…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

Abstract In proof-theoretic semantics of intuitionistic logic it is well known that elimination rules can be generated from…

2006

The use of abstraction in the context of abstract data types, is investigated. Properties to be checked are formulas in a first…

2005

The expressive power of XML Declarative Description (XDD), a unified XML‐based representation language for the Knowledge Grid, is…

2003

Abstract Restricted to first-order formulas, the rules of inference in the Curry-Howard type theory are equivalent to those of…

1999

Abstract It is proved that all the isomorphisms in the cartesian category freely generated by a set of objects (i.e., a graph…

1997

Although the first ideas for mechanical translation were made in the seventeenth century, it was not until this century that…

1990

CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for…

1988

The present paper gives a syntactical treatment of the so-called constructive falsity on the basis of Gentzen-type formulation…

1978

In 1930, A. Heyting first specified a formal system for part of intuitionistic mathematics. Although his rules were presumably…

1948

We are inclined to believe that, by means of an argument entirely analogous to that which leads to the Richard antinomy, the…