Systematic construction of natural deduction systems for many-valued logics

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems

Dual Systems of Sequents and Tableaux for Many-Valued Logics

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and the exclusion of the opposite truth value describe the same situation.

Elimination of Cuts in First-order Finite-valued Logics

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information

Analysis of mobile laser scanning data and multi-view image reconstruction

The combination of laser scanning (LS, active, direct 3D measurement of the object surface) and photogrammetry (high geometric and radiometric resolution) is widely applied for object reconstruction (e.g. architecture, topography, monitoring, archaeology). Usually the results are a coloured point cloud or a textured mesh. The geometry is typically generated from the laser scanning point cloud and the radiometric information is the result of image acquisition. In the last years, next to significant developments in static (terrestrial LS) and kinematic LS (airborne and mobile LS) hardware and software, research in computer vision and photogrammetry lead to advanced automated procedures in image orientation and image matching. These methods allow a highly automated generation of 3D geometry just based on image data. Founded on advanced feature detector techniques (like SIFT (Scale Invariant Feature Transform)) very robust techniques for image orientation were established (cf. Bundler). In a subsequent step, dense multi-view stereo reconstruction algorithms allow the generation of very dense 3D point clouds that represent the scene geometry (cf. Patch-based Multi-View Stereo (PMVS2)). Within this paper the usage of mobile laser scanning (MLS) and simultaneously acquired image data for an advanced integrated scene reconstruction is studied. For the analysis the geometry of a scene is generated by both techniques independently. Then, the paper focuses on the quality assessment of both techniques. This includes a quality analysis of the individual surface models and a comparison of the direct georeferencing of the images using positional and orientation data of the on board GNSS-INS system and the indirect georeferencing of the imagery by automatic image orientation. For the practical evaluation a dataset from an archaeological monument is utilised. Based on the gained knowledge a discussion of the results is provided and a future strategy for the integration of both techniques is proposed

Senior Recital: Zach Wilson, jazz piano

This recital is presented in partial fulfillment of requirements for the degree Bachelor of Music in Performance. Mr. Wilson studies jazz piano with Tyrone Jackson.https://digitalcommons.kennesaw.edu/musicprograms/2214/thumbnail.jp

Senior Recital: Dennis Durrett-Smith, jazz percussion

This recital is presented in partial fulfillment of requirements for the degree Bachelor of Music in Performance. Mr. Durrett-Smith studies jazz percussion with Justin Chesarek.https://digitalcommons.kennesaw.edu/musicprograms/2146/thumbnail.jp

The “New” Student-Athlete: An Exploratory Examination of Scholarship eSports Players

The growth and popularity of eSports cannot be understated. The domain has become so mainstream that colleges and universities are rapidly beginning to launch eSports programs within their athletics departments. In this study, the authors interviewed 33 student-athletes receiving scholarships for participating in eSports at one institution. In all, the identity and social capital of athletes in this “new” athletic arena were explored and compared with previous studies examining “traditional” athletes. The implications of the similarities and differences are discussed and ideas for future research into this emerging field are presented