keyword Proof Theory / (2 Article)
- Sort by
- Date
-
1.
Corresponding Author : پوردانش، سعید ؛ Writer : بهنیافر، مهدی ؛
Journal:منطق پژوهی»پاییز و زمستان 1400، سال دوازدهم - شماره 2 Ranking: ب/ISC (23 page(s) - From 33 to 55 )
Keywords:مدلسمانتیکنظریه برهاننتیجه ی منطقیمفهوم عام نتیجه ی منطقیThe Common Concept of Logical ConsequenceProof TheoryLogical consequencemodelSemanticتارسکیمفهـومکـهبـهمفهومیـا
-
2.
Writer : نبوی، لطف‌اله ؛ Corresponding Author : میرصانعی، سید احمد ؛
Journal:اندیشه فلسفی»پاییز 1400 - شماره 4 Ranking: ب (26 page(s) - From 314 to 339 )
Keywords:منطق‌های اثباتپذیریسیستم اصل موضوعیحساب رشتهایسمانتیک جهان ممکنیفراقضایامنطق موجهاتModal logicAxiomatic SystemProof TheoryProvability LogicPossible World SemanticsMeta-Theorems
| Journal (Article count) |
|---|
| Journal اندیشه فلسفی 1 |
| Journal منطق پژوهی 1 |
Related keywords
Article publication trend
Scientific rank
- ب (2 Article)