We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution...

The growing demands for assurance of properties like correctness, safety, and security have led to the development of design methods using mathematical logic. These methods have broad application to hardware, software, and system design. Design based on mathematical logic offers the capability to relate structural descriptions with behavioral descriptions and properties. The challenge is to mou...

It seems that Polish logic has always been open to considerations concerning the use of methods and results of formal logic within disciplines. We overview a couple of such Polish contributions to what may be called the realm of applied logic. We take a closer look at the formalization of natural reasoning, inconsistency-tolerant logic, and at the formal analysis of causal nexus.

In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) is able to serve as a basis for describing various equivalences between logic programming semantics and argumentation se...