Natural deduction system in paraconsistent setting: proof search for PCont

This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the `deductive explosion', i.e., where formulae of the type `A follows from false', for any A, are not valid. We formulate the natural deduction system for the logic PCont, explain its main concepts, define a proof searching technique and illustrate it by examples. The presentation is accompanied by demonstrating the correctness of these developments.

Best practice factory for freight transport in Europe: demonstrating how ‘good’ urban freight cases are improving business profit and public sectors benefits

The objective of this study is to better understand why selected urban freight solutions represent innovations that are technically feasible, economically profitable in different contexts, sustainable, transferable, and with tangible beneficial impacts. A total of 15 solutions are evaluated in the fields of Urban Consolidation Centre, clean and electric vehicles, IT solutions, use of urban waterways, and others. Three solutions are analysed more thoroughly, the Cityporto Padova, the Basel Exhibition Centre logistics support system, and the Berlin laboratory area test of the Bentobox. This paper ends with a transversal analysis of the solutions observed, and with methodological conclusions.

Best practice factory for freight transport in Europe: demonstrating how ‘good’ urban freight cases are improving business profit and public sectors benefits

The objective of this study is to better understand why selected urban freight solutions represent innovations that are technically feasible, economically profitable in different contexts, sustainable, transferable, and with tangible beneficial impacts. A total of 15 solutions are evaluated in the fields of Urban Consolidation Centre, clean and electric vehicles, IT solutions, use of urban waterways, and others. Three solutions are analysed more thoroughly, the Cityporto Padova, the Basel Exhibition Centre logistics support system, and the Berlin laboratory area test of the Bentobox. This paper ends with a transversal analysis of the solutions observed, and with methodological conclusions.

Fractionating Human Intelligence

What makes one person more intellectually able than another? Can the entire distribution of human intelligence be accounted for by just one general factor? Is intelligence supported by a single neural system? Here, we provide a perspective on human intelligence that takes into account how general abilities or ‘‘factors’’ reflect the functional organiza- tion of the brain. By comparing factor models of individual differences in performance with factor models of brain functional organization, we demon- strate that different components of intelligence have their analogs in distinct brain networks. Using simulations based on neuroimaging data, we show that the higher-order factor ‘‘g’’ is accounted for by cognitive tasks corecruiting multiple networks. Finally, we confirm the independence of these com- ponents of intelligence by dissociating them using questionnaire variables. We propose that intelli- gence is an emergent property of anatomically distinct cognitive systems, each of which has its own capacity.