Monotone modal logics have emerged in several application areas such as computer science and social choice theory. Since many of the most studied selfextensional logics have a conjunction, in this paper we study some ...

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 ...

The paper compares the distinction between formal and transcendental logic as it is presented by Kant in the CPR, with the understanding of the same distinction by the Marburg’s School, especially Cassirer (1907) and Natorp ...

Product Logic Π is an axiomatic extension of Hájek's Basic Fuzzy Logic BL coping with the 1-tautologies when the strong conjunction & and implication → are interpreted by the product of reals in [0, 1] and its residuum ...

In the anesthesiology area, supporting for surgical interventions are relevant to make these procedures pain-free and comfortable for the patients. Nowadays, complexity in those methods can be simple, where medical doctors ...

In this paper we shall study some extensions of the semilattice based deductive systems S (N) and S (N, 1), where N is the variety of bounded distributive lattices with a negation operator. We shall prove that S (N) and S ...