# Logical constant

## Papers overview

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

2015

2015

- 2015

The aim of logic is to characterize the forms of reasoning that lead invariably from true sentences to true sentencesâ€¦Â (More)

Is this relevant?

2013

2013

- 2013

Philosophers sometimes take refuge in logic in a way befitting a domain free of controversy. Metaphysical claims are thought toâ€¦Â (More)

Is this relevant?

2010

2010

- 2010

We discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. We argue thatâ€¦Â (More)

Is this relevant?

2009

2009

- IEEE Transactions on Nuclear Science
- 2009

In Xilinx Field Programmable Gate Arrays two types of logical constants, implicit and explicit, are used to prevent unspecifiedâ€¦Â (More)

Is this relevant?

2009

2009

- Rew. Symb. Logic
- 2009

A number of people have proposed that we should be pluralists about logic, but there are several things this can mean. Are thereâ€¦Â (More)

Is this relevant?

2006

2006

- 2006

What is the relationship between logic and reasoning? How do logical norms guide inferential performance? This paper agrees withâ€¦Â (More)

Is this relevant?

2003

2003

- 2003

The paper argues that a philosophically informative and mathematically precise characterization is possible by (i) describing aâ€¦Â (More)

Is this relevant?

1989

1989

- Notre Dame Journal of Formal Logic
- 1989

We investigate the notion of "logicality" for arbitrary categories of linguistic expression, viewed as a phenomenon which theyâ€¦Â (More)

Is this relevant?

1989

1989

- Notre Dame Journal of Formal Logic
- 1989

This paper presents a proof-theoretical approach to the question "What is a logical constant?" This approach starts with theâ€¦Â (More)

Is this relevant?

Highly Cited

1973

Highly Cited

1973

- IJCAI
- 1973

This paper proposes a modular ACTOR architecture and definitional method for artificial intelligence that is conceptually basedâ€¦Â (More)

Is this relevant?