3ÔÂ25ÈÕ£¬£¬£¬ÕÜѧϵÂíÃ÷»Ô½ÌÊÚÖ¸µ¼Â߼ѧרҵ±¾¿ÆÉú³ÂÇ«ÔÚ¹ú¼Ê·ûºÅÂß¼ÔÓÖ¾Studia Logica½ÒÏþÂÛÎÄ¡°Lattices of Finitely Alternative Normal Tense Logics¡±¡£¡£¡£ÂÛÎÄÑо¿ÓÐÇî¿ÉÔñʱ̬Âß¼T(m,n)Õý¹æÀ©ÕŸñµÄÂß¼ÐÔ×Ó£¬£¬£¬×¼È·ÐÎòÁËT(1,1)Õý¹æÀ©ÕŸñµÄ½á¹¹£º
֤ʵÎúT(1,1)Õý¹æÀ©ÕŸñÖб£´æ¿ÉÊý¶à¸ö²»¾ßÓÐÓÐÇîÄ£×ÓÐÔ×ÓµÄʱ̬Âß¼£¬£¬£¬±£´æδ¼¸Êý¶à¸ö²»ÊÇÓÐÇî¿ÉÕýÒ廯µÄÂß¼£¬£¬£¬ÓÐÇÒ½öÓÐÒ»¸ö±ô±í¸ñÂß¼¡£¡£¡£¶Ôí§Òâ×ÔÈ»Êýn,mʹµÃnm´óÓÚ¼´ÊÇ2£¬£¬£¬Ê±Ì¬Âß¼T(n,m)Õý¹æÀ©ÕŸñÖб£´æ²»¿ÉÊý¶à¸ö²»¾ßÓÐÓÐÇîÄ£×ÓÐÔµÄÂß¼£¬£¬£¬±£´æ²»¿ÉÊý¶à¸ö±ô±í¸ñÂß¼¡£¡£¡£ÕâһϵÁнáÂÛ£¬£¬£¬³ä·Ö˵Ã÷ÎúÕý¹æʱ̬Âß¼¸ñÓëÕý¹æģ̬Âß¼¸ñµÄÖØ´ó²î±ð£¬£¬£¬Ã÷È·ÁËÑо¿Õý¹æʱ̬Âß¼µÄÖ÷ÒªÒâÒå¡£¡£¡£
ѧÊõÔÓÖ¾Studia LogicaÊDz¨À¼¿ÆѧԺÖ÷ÀíµÄ¿¯Î£¬£¬Ö÷Òª¿¯ÔØÔËÓýñÊÀÐÎʽÂß¼ÒªÁìÑо¿Â߼ϵͳµÄЧ¹û£¬£¬£¬ÀýÈç´úÊý¡¢¡¢Ä£×ÓÂÛ¡¢¡¢Ö¤ÊµÂ۵ȵȣ¬£¬£¬ÒÔ¼°Ò»°ãÐÔµÄÂß¼ÀíÂÛºÍÂß¼ÔÚÕÜѧ¡¢¡¢¿ÆѧҪÁì¡¢¡¢ÓïÑÔѧÖзÖÖ§µÄÓ¦ÓÃЧ¹û¡£¡£¡£
ÂÛÎÄÁ´½Ó£ºhttps://link.springer.com/article/10.1007/s11225-021-09942-5
µØµã:¹ãÖÝÊÐиÛÎ÷·135ºÅ Óʱà:510275
µç»°: 020-84112828
ngµç×ÓÓÎÏ·°æȨËùÓÐ COPYRIGHT?1999-2022 , SUN YAT-SEN UNIVERSITY