keyword second order logic / (5 Article)
- Sort by
- Date
-
-
1.
روشهای مختلف صورتبندی سور شرطی
Journal ArticleWriter : دارابی، علیرضا ؛
Journal:جاویدان خرد»پاییز و زمستان 1402 - شماره 44 Ranking: الف/ISC (19 page(s) - From 112 to 130 )
Keywords:منطق سینویجهتمنطق مرتبه دومسور شرطیhypothetical quantifierSecond Order LogicModalityAvicennian logic
-
2.
تئوفراستس و قیاسهای دارای-حد-اضافه
Journal ArticleWriter : نباتی، فرشته ؛
Journal:منطق پژوهی»پاییز و زمستان 1400، سال دوازدهم - شماره 2 Ranking: ب/ISC (20 page(s) - From 253 to 272 )
Keywords:منطق مرتبه دومتئوفراستسگزاره های دارای حد اضافهقیاس های دارای حد اضافهTheophrastusprosleptic propositionprosleptic syllogismsecond order logicقیاسارسطوگزارههـااضافهقیـاسحـدحملیمنطق
-
3.
Original Title : گزاره های همیشه صادق نزد خونجی در منطق مرتبه دوم
Journal:فلسفه و کلام اسلامی»بهار و تابستان 1392، سال چهل و ششم - شماره 5 Ranking: Science-Research/ISC (20 page(s) - From 93 to 112 )
Keywords:Modern LogicExternal propositionTraditional Logicreal propositionSecond Order LogicFirst Order LogicKhunjiDin
-
4.
Original Title : افراد ممتنع الوجود و منطق مفاهیم
Journal:فلسفه»پاییز و زمستان 1390، سال سی و نهم - شماره 2 Ranking: Science-Research/ISC (22 page(s) - From 163 to 184 )
Keywords:Ibn SinaAbharireal propositionSecond Order LogicKhunjiImpossible InstancesFmLogic
-
5.
Original Title : بررسی و مقایسه دو دلالت شناسی منطق مرتبه دوم
Journal:دانشکده ادبیات و علوم انسانی (دانشگاه اصفهان)»زمستان 1386 - شماره 51 Ranking: Science-Research/ISC (16 page(s) - From 69 to 84 )
Keywords:Second-order logicStandard semanticsHenkin semanticsAxiom of relational inclusion
| Language | |
|---|---|
| Persian | 2 |
| English (Translated) | 3 |
| Journal (Article count) | |
|---|---|
| Journal منطق پژوهی | 1 |
| Journal فلسفه و کلام اسلامی | 1 |
| Journal فلسفه | 1 |
| Journal جاویدان خرد | 1 |
| Journal دانشکده ادبیات و علوم انسانی (دانشگاه اصفهان) | 1 |
Related keywords
Article publication trend
Scientific rank
- علمی-پژوهشی (3 Article)
- الف (1 Article)
- ب (1 Article)