32 The rising costs of complying with supervisory demands have brought the issue of regulatory burden to the attention of both lawmakers and bank regulators. But one relatively underappreciated aspect of regulatory burden is the potential for the supervisory process to impose conflicting demands on banks. In October 1977, Congress passed the Community Reinvestment Act (CRA) as Title VIII of the...

This study examines the impacts of quality working environment and its components on corporate financial distress. Employing a unique dataset firm-level data from 41 countries over period 2012–2018, we find that better is related to higher level soundness. Particularly, firms which have training career development policies are less likely take excessive risks. Further examination suggests tends...

Soundness Jasmin Christian Blanchette, Andrei Popescu, and Dmitriy Traytel

The abstraction of cryptographic operations by term algebras, called Dolev-Yao models or symbolic cryptography, is essential in almost all tool-supported methods for proving security protocols. Recently significant progress was made – using two conceptually different approaches – in proving that Dolev-Yao models can be sound with respect to actual cryptographic realizations and security definit...

Current approaches for proving the correctness of business processes focus on either soundness, weak soundness, or relaxed soundness. Soundness states that each activity should be on a path from the initial to the final activity, that after the final activity has been reached no other activities should become active, and that there are no unreachable activities. Relaxed soundness softens soundn...

For a suitable collection D of small categories, we define the D-accessible categories, generalizing the λ-accessible categories of Lair, Makkai, and Paré; here the λ-accessible categories are seen as the D-accessible categories where D consists of the λ-small categories. A small category C is called D-filtered when C-colimits commute with D-limits in the category of sets. An object of a catego...

We present ‘Ribbon Proofs’, a graphical proof system for the Logic of Bunched Implications (BI). We give the informal, graphical, notation, we formalise the system algebraically and sketch the proof of its soundness and completeness. We discuss the spatial and geometrical nature of the proof system and its relation to BI’s spatial model theory.

We present a Hilbert-style axiomatization of a paraconsistent logic, called G3, recently introduced. G ′ 3 is based on a 3-valued semantics. We prove a soundness and completeness theorem. The replacement theorem holds in G3. As it has already been shown in previous work, G ′ 3 can express some nonmonotonic semantics.