Journal (Article count) |
---|
Journal منطق پژوهی 2 |
Category (Article count) |
---|
فلسفه و کلام 2 |
Language (Article count) |
---|
Persian 2 |
Ranking (Article count) |
---|
ب 2 |
-
1.
Writer : خانکی، کریم ؛
Journal:منطق پژوهی»بهار و تابستان 1399، سال یازدهم - شماره 1 Ranking ب (Ministry of Science/ISC (15 page(s) - From 17 to 31 )
Keywords:تعریفپذیریمنطق پیوستهفراضرببطور متناهی ارائهپذیرفضای تایپultraproductfinitely representabletype spacedefinabilitycontinuous logic
-
2.
Corresponding Author : خانکی، کریم ؛
Journal:منطق پژوهی»بهار و تابستان 1398، سال دهم - شماره 1 Ranking ب (Ministry of Science/ISC (15 page(s) - From 121 to 135 )
Keywords:منطق مرتبه اول کلاسیکتعریفپذیریخاصیت وابستگیهمارثپایداریStabilityOrder LogicClassical firstdefinabilitydependence propertycoheir