Search Results
Abstract
This paper analyzes the problem of implication and attempts to characterize conditionals by a criterion of adequacy. A definition of implication based on the notion of limit of an infinite sequence is proposed.
Abstract
Departing from basic concepts in abstract logics, this paper introduces two concepts: conjunctive and disjunctive limits. These notions are used to formalize levels of modal operators.
