A unified relational semantics for intuitionistic logic, basic propositional logic and orthologic with strict implication

In this paper, by slightly generalizing the notion of 'proposition' in 'Propositional Logic and Modal Logic - A Connection via Relational Semantics' by Shengyang Zhong, we propose a relational semantics of propositional language with bottom, conjunction and imlication, which unifies the relational semantics of intuitionistic logic, Visser's basic propositional logic and orthologic with strict implication. We study the semantic and syntactic consequence relations and prove the soundness and completeness theorems for eight propositional logics

The State of the Art in Creating Visualization Corpora for Automated Chart Analysis

We present a state-of-the-art report on visualization corpora in automated chart analysis research. We survey 56 papers that created or used a visualization corpus as the input of their research techniques or systems. Based on a multi-level task taxonomy that identifies the goal, method, and outputs of automated chart analysis, we examine the property space of existing chart corpora along five dimensions: format, scope, collection method, annotations, and diversity. Through the survey, we summarize common patterns and practices of creating chart corpora, identify research gaps and opportunities, and discuss the desired properties of future benchmark corpora and the required tools to create them.Comment: To appear at EuroVis 202

Thermal analysis of dual-phase-lag model in a two-dimensional plate subjected to a heat source moving along elliptical trajectories

In this paper, we focus on the study of heat transfer behavior for the dual-phase-lag heat conduction model, which describes the evolution of temperature in a two-dimensional rectangular plate caused by the activity of a point heat source moving along elliptical trajectories. At first, Green's function approach is applied to derive the analytical solution of temperature for the given model. Based on the series representation of this analytical solution, the thermal responses for the underlying heat transfer problem, including the relations between the moving heat source and the concomitant temperature peak, the influences of the pair of phase lags and the angular velocity of heat source on temperature, are then investigated, analyzed and discussed in detail for three different movement trajectories. Compared with the results revealed for the common situation that the heat source moves in a straight line with a constant speed, the present results show quite distinctive thermal behaviors for all cases, which subsequently can help us to better understand the internal mechanism of the dual-phase-lag heat transfer subjected to a moving heat source with curved trajectory.Comment: 15 pages, 41 figure