Výsledky vyhledávání - "Wen, Xuefeng"

Report

Some Common Mistakes in the Teaching and Textbooks of Modal Logic

Autor: Wen, Xuefeng

Publikováno v: This is an English translation of the paper published in Studies in Logic (Chinese), 11(4A), 69-86, 2018

We discuss four common mistakes in the teaching and textbooks of modal logic. The first one is missing the axiom $\Diamond\varphi\leftrightarrow\neg\Box\neg\varphi$, when choosing $\Diamond$ as the primitive modal operator, misunderstanding that $\Bo

Externí odkaz: http://arxiv.org/abs/2005.10137

Zobrazit plný text záznamu

Akademický článek

A large and overlooked Cd source in karst areas: The migration and origin of Cd during soil formation and erosion

Autor: Wei, Xiao, Bai, Xiaoyong, Wen, Xuefeng, Liu, Li, Xiong, Jie, Yang, Changlong

Publikováno v: In Science of the Total Environment 15 October 2023 895

Zobrazit plný text záznamu

Report

On Axiomatization of Lewis' Conditional Logics

Autor: Wen, Xuefeng

This paper first shows that the popular axiomatic systems proposed by Nute for Lewis' conditional logics are not equivalent to Lewis' original systems. In particular, the axiom CA which is derivable in Lewis' systems is not derivable in Nute's system

Externí odkaz: http://arxiv.org/abs/1910.06202

Zobrazit plný text záznamu

Report

Modal Logic via Global Consequence

Autor: Wen, Xuefeng

In modal logic, semantic consequence is usually defined locally by truth preservation at all worlds in all models (with respect to a class of frames). It can also be defined globally by truth preservation in all models (with respect to a class of fra

Externí odkaz: http://arxiv.org/abs/1910.02446

Zobrazit plný text záznamu