Non-logical symbol

Known as: Descriptive sign, Individual constant, Non-logical symbols

In logic, the formal languages used to create expressions consist of symbols, which can be broadly divided into constants and variables. The…

Papers overview

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

2020

2017

It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the…

2013

This paper proposes an interactive manipulation of signing avatar (complex human's figures) by means of a descriptive sign…

2005

In "Toward a Theory of the Process of Explanation", Ilpo Halonen and Jaakko Hintikka (2003) present two interlocking theses, one…

2005

The correct critical analysis of the generally accepted foundations of quantum mechanics is proposed [1]. The purpose of the…

2004

1997

The presence of uninterpreted symbols in the logic means that we must distinguish between a state machine M and its abstract…

1992

This article outlines some of the basic principles involved in the design and administration of a secure transaction service for…

1991

The goal of this paper is to present a theorem prover where the underlying code has been written to behave as the procedural…

1973

Ackermann's set theory A* is usually formulated in the first order predicate calculus with identity, ∈ for membership and V, an…