Keratin
发表于 2025-3-28 16:28:00
http://reply.papertrans.cn/95/9421/942055/942055_41.png
ostensible
发表于 2025-3-28 20:02:24
J. Rowan Scottantilogophoric pronouns. This paper investigates (anti)logophoricity in the pronominal system of Finnish, in particular in reported speech and free indirect discourse (FID). I first show that the referential patterns exhibited of two types of third person pronouns in Finnish – the human third-person
开花期女
发表于 2025-3-28 22:56:10
http://reply.papertrans.cn/95/9421/942055/942055_43.png
浪费时间
发表于 2025-3-29 06:53:55
http://reply.papertrans.cn/95/9421/942055/942055_44.png
从属
发表于 2025-3-29 08:54:00
Percy Venegasexplosion of mathematical knowledge in the last two centuries, endeavours began to provide the growing body of mathematics with a firm foundation. Some of the notions used then seemed to be quite problematic This was especially true of those which somehow depended upon that of infinity. On the one h
馆长
发表于 2025-3-29 13:50:33
Thomas Wang,Tai Young-Taft,Harold M. Hastings. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete results using the former and the general, abstract ones using the latter. Covering modal logics, many-valued logics, superintuitionistic and substructural
无孔
发表于 2025-3-29 17:22:59
Harold M. Hastings,Tai Young-Tafty Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of "proof-theoretic" presen
set598
发表于 2025-3-29 21:16:48
John Bicknell,Werner Krebsnecessary definitions. Display Logic is a rather elegant proof-theoretic system that was developed to explore in depth the possibility of total Gentzenization of various propositional logics. By . I understand the strategy to replace connectives by structures. Gentzenization is something of an ingen
sacrum
发表于 2025-3-30 03:58:12
Adit Chawdhary,Ali A. Minaigebra is a behavioural model of a specification SP if it satisfies the axioms w.r.t. an observational interpretation of the equality relation..The advantages of this notion are proof-theoretic ones: the proof system for observational first-order formulae needs just one additional (infinitary) proof
杀人
发表于 2025-3-30 05:34:03
http://reply.papertrans.cn/95/9421/942055/942055_50.png