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