Concept Finding Proofs

2011 ◽  
Vol 15 (7) ◽  
pp. 777-784
Author(s):  
Norihiro Kamide ◽  
Keyword(s):  
Inference Rule ◽  
Inverse Operator ◽  
Substructural Logic ◽  
Extended Version ◽  
Strong Negation ◽  
Structural Inference ◽  
Precise Information ◽  
Specific Concept ◽  
Conceptual Hierarchies

We propose a proof-theoretical way of obtaining detailed and precise information on conceptual hierarchies. The notion of concept finding proof, which represents a hierarchy of concepts, is introduced based on a substructural logic with mingle and strong negation. Mingle, which is a structural inference rule, is used to represent a process for finding a more general (or specific) concept than some given concepts. Strong negation, which is a negation connective, is used to represent a concept inverse operator. The problem for constructing a concept finding proof is shown to be decidable in PTIME.1 1. This paper is an extended version of [1].

Constructive Logic with Strong Negation is a Substructural Logic. I

Studia Logica ◽  
2008 ◽  
Vol 88 (3) ◽  
pp. 325-348 ◽  
Author(s):  
Matthew Spinks ◽  
Robert Veroff
Keyword(s):  
Substructural Logic ◽  
Constructive Logic ◽  
Strong Negation

Musical Anhedonia

2020 ◽  
Vol 31 (2) ◽  
pp. 62-68
Author(s):  
Sara E. Holm ◽  
Alexander Schmidt ◽  
Christoph J. Ploner
Keyword(s):  
Quality Of Life ◽  
Nucleus Accumbens ◽  
Brain Damage ◽  
Parietal Cortex ◽  
Neurological Disorders ◽  
Brain Regions ◽  
Precise Information ◽  
Exact Localization ◽  
High Prevalence

Abstract. Some people, although they are perfectly healthy and happy, cannot enjoy music. These individuals have musical anhedonia, a condition which can be congenital or may occur after focal brain damage. To date, only a few cases of acquired musical anhedonia have been reported in the literature with lesions of the temporo-parietal cortex being particularly important. Even less literature exists on congenital musical anhedonia, in which impaired connectivity of temporal brain regions with the Nucleus accumbens is implicated. Nonetheless, there is no precise information on the prevalence, causes or exact localization of both congenital and acquired musical anhedonia. However, the frequent involvement of temporo-parietal brain regions in neurological disorders such as stroke suggest the possibility of a high prevalence of this disorder, which leads to a considerable reduction in the quality of life.

Foundations and Introduction of Islamic Economics: Role and Trends

2020 ◽  
Vol 3 (3) ◽  
pp. 121-138
Author(s):  
Dr. Bilal Ahmad Khan
Keyword(s):  
Modern Science ◽  
Central Position ◽  
Islamic Philosophy ◽  
Moral Training ◽  
Human Ability ◽  
The Status ◽  
Distribution Of Resources ◽  
The Rich ◽  
Specific Concept ◽  
The Individual

Islamic economics based on specific concept of universe and the creation of man is contradictory to the concept adopted and accepted by modern science. Islamic economics postulates although ability and expertise is required for progress and growth but distribution of resources completely dependent on it would be cruel, inhuman and bereft of kindness, and lead to oppression. Islamic economics does not favor making human ability and expertise the fulcrum of resource distribution. It should be kind, considerate and based on justice and fairness. This is because according to Islamic philosophy, ownership is considered to be a trust from Allah which has been bestowed on the rich so that they may utilize it correctly. In Islamic economics the role of the individual, has inclinations and his aims and objectives occupy a central position and are vitally important. He is definitely a rational being but his level of rationality is not confined to the calculations of cost and profit. An individual does not want merely to obtain monetary profit and physical pleasure and leisure but he also wants and aims for something beyond what the material world has to offer. The main aim of the study is to find out the relationship between Islam and economics. In Islamic economics the comprehensive moral training of the individual, his technical and educational ability, his aims and his priorities are of primary importance. According to Islamic economics the means of acquiring wealth has the same importance as wealth itself. Dishonesty, abuse of trust and earning of wealth through fraudulent ways and means may perhaps increase the status of an individual but the society suffers because of it on the whole. This leads to an unjust and oppressive economic system.

Hilbert-style proof Calculus for Propositional Logic in ABC notation

2019 ◽  
Author(s):  
Matheus Pereira Lobo
Keyword(s):  
Propositional Logic ◽  
Inference Rule ◽  
Modus Ponens ◽  
Axiomatic System ◽  
First Contact

All nine axioms and a single inference rule of logic (Modus Ponens) within the Hilbert axiomatic system are presented using capital letters (ABC) in order to familiarize the beginner student in hers/his first contact with the topic.

A Minimal Substructural Logic in Temporal Database

2014 ◽  
Vol 36 (8) ◽  
pp. 1592-1601 ◽  
Author(s):  
Dong-Ning LIU ◽  
Yong TANG ◽  
Shao-Hua TENG ◽  
Zhe LIN
Keyword(s):  
Substructural Logic ◽  
Temporal Database
Sign in / Sign up

Export Citation Format

Share Document