Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
View through CrossRef
AbstractIn this paper are studied the properties of the proofs in PRA of provability logic sentences, i.e. of formulas which are Boolean combinations of formulas of the form PIPRA(h), where h is the Gödel‐number of a sentence in PRA. The main result is a Normal Form Theorem on the proof‐trees of provability logic sequents, which states that it is possible to split the proof into an arithmetical part, which contains only atomic formulas and has an essentially intuitionistic character, and into a logical part, which is merely instrumental. Moreover, the induction rules which occur in the arithmetical part are implicit. Some applications of the Normal Form Theorem are shown in order to obtain some syntactical results on the PRA‐completeness of modal logic. In particular a completeness theorem for Boolean combinations of modalities is given.
Title: PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
Description:
AbstractIn this paper are studied the properties of the proofs in PRA of provability logic sentences, i.
e.
of formulas which are Boolean combinations of formulas of the form PIPRA(h), where h is the Gödel‐number of a sentence in PRA.
The main result is a Normal Form Theorem on the proof‐trees of provability logic sequents, which states that it is possible to split the proof into an arithmetical part, which contains only atomic formulas and has an essentially intuitionistic character, and into a logical part, which is merely instrumental.
Moreover, the induction rules which occur in the arithmetical part are implicit.
Some applications of the Normal Form Theorem are shown in order to obtain some syntactical results on the PRA‐completeness of modal logic.
In particular a completeness theorem for Boolean combinations of modalities is given.
Related Results
Provability logic
Provability logic
Central to Gödel’s second incompleteness theorem is his discovery that, in a sense, a formal system can talk about itself. Provability logic is a branch of modal logic specifically...
MECHANISMS OF SCHEMATIC MODELING BASED ON VECTOR LOGIC
MECHANISMS OF SCHEMATIC MODELING BASED ON VECTOR LOGIC
Context. This paper addresses issues relevant to the EDA market – reducing the cost and time of testing and verification of digital projects by synthesizing the logic vector of a d...
Logic in the early 20th century
Logic in the early 20th century
The creation of modern logic is one of the most stunning achievements of mathematics and philosophy in the twentieth century. Modern logic – sometimes called logistic, symbolic log...
Nondeterministic first-order T-BAT logic
Nondeterministic first-order T-BAT logic
Abstract
The relationship between formal and informal provability has been a significant subject of philosophical and mathematical investigation. Formal systems s...
Do Reading and Arithmetic Fluency Share the Same Cognitive Base?
Do Reading and Arithmetic Fluency Share the Same Cognitive Base?
We examined the role of different cognitive-linguistic skills in reading and arithmetic fluency, and whether the effects of these skills are mediated by reading and arithmetic accu...
Modified Bottle Cap for Improving Children’s Arithmetic Ability
Modified Bottle Cap for Improving Children’s Arithmetic Ability
The preliminary study showed that the main problem, however, faced by kindergarten students are lack of mathematics skill, such arithmetic ability in kindergarten Galis. Therefore,...
Achievement Motivation and its Relationship to Critical Thinking among Nursing Students in the Kingdom of Saudi Arabia
Achievement Motivation and its Relationship to Critical Thinking among Nursing Students in the Kingdom of Saudi Arabia
The study aimed to identify Achievement Motivation and its Relationship to critical thinking among nursing students in the Kingdom of Saudi Arabia. The research sample consisted of...
Golden Retrievers: Older adults solve single-digit arithmetic via fact retrieval
Golden Retrievers: Older adults solve single-digit arithmetic via fact retrieval
Arithmetic skills are crucial for mastering everyday life up to old age. However, it is unknown whether the interplay of different task characteristics affects arithmetic performan...