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…

Review

2012

Review

2012

The paper investigates the propriety of applying the form versus matter distinction to arguments and to logic in general. Its…

2007

A spherically symmetric charged ideal fluid solution of Einstein field equation is given in the presence of the cosmological…

2006

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

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…

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…