Logics with quantifiers that range over a model-theoretic universe of propositions are interesting for several applications. For example, in the context of epistemic logic the knowledge axioms can be expressed by the single ...

Gradual dependent types can help with the incremental adoption of dependently typed code by providing a principled semantics for imprecise types and proofs, where some parts have been omitted. Current theories of gradual ...

Internet is a great and modern tool to look for information about a particular problem, it is like to have simultaneous access to several libraries in the orld. In any search one usually gets a huge of information and some ...

When an elementary proposition is instituted, the pictorial relations establish a contact between the proposition and the fact. This seems to commit the Tractarian project with a psychological view, but this is not the ...

In this paper we study interpretations and equivalences of propositional deductive systems by using a quantale-theoretic approach introduced by Galatos and Tsinakis. Our aim is to provide a general order-theoretic framework ...

Hierarchical Multi-Label Classification (HMC) is a complex classification problem where instances can be classified into many classes simultaneously, and these classes are organized in a hierarchical structure, having ...