Search Results

1 - 2 of 2 items

  • Author: Alexandre Costa-Leite x
Clear All Modify Search

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.