Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
Atomic sentenceExistential quantificationFormal languageFormal system

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
ON FLATTENING ELIMINATION RULES
Abstract In proof-theoretic semantics of intuitionistic logic it is well known that elimination rules can be generated from… 
Review
2012
Review
2012
Reassessing logical hylomorphism and the demarcation of logical constants
The paper investigates the propriety of applying the form versus matter distinction to arguments and to logic in general. Its… 
2006
2006
Abstractions of data types
The use of abstraction in the context of abstract data types, is investigated. Properties to be checked are formulas in a first… 
2003
2003
The completeness of Heyting first-order logic
Abstract Restricted to first-order formulas, the rules of inference in the Curry-Howard type theory are equivalent to those of… 
Highly Cited
2001
Highly Cited
2001
`Now is the Time to Put an End to all this': Argumentative Discourse Theory and `Letters to the Editor'
This article applies argumentative discourse theory to `letters to the editor', specifically letters written into and… 
1999
1999
Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
Abstract It is proved that all the isomorphisms in the cartesian category freely generated by a set of objects (i.e., a graph… 
1990
1990
CLG(n): Constraint Logic Grammars
CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for… 
1988
1988
On the Proof Method for Constructive Falsity
The present paper gives a syntactical treatment of the so-called constructive falsity on the basis of Gentzen-type formulation… 
1978
1978
A type-free Gödel interpretation
In 1930, A. Heyting first specified a formal system for part of intuitionistic mathematics. Although his rules were presumably… 
1948
1948
A problem concerning the notion of definability
We are inclined to believe that, by means of an argument entirely analogous to that which leads to the Richard antinomy, the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)