Modus ponens on Boolean algebras revisited
In a Boolean Algebra B, an inequality f(x,x -> y))<=y satisfying the condition f(1,1)=1, is considered for defining operations a->b among the elements of B. These operations are called ``Conditionals'' for f. In this paper, we obtain all the boolean Conditionals and Internal Condi...
| Autores: | , |
|---|---|
| Formato: | artículo |
| Fecha de publicación: | 1996 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2099/2618 |
| Acesso em linha: | https://hdl.handle.net/2099/2618 |
| Access Level: | acceso abierto |
| Palavra-chave: | Boolean algebras Conditionals Àlgebra booleana Lògica algebraica Classificació AMS::03 Mathematical logic and foundations::03G Algebraic logic |
| Resumo: | In a Boolean Algebra B, an inequality f(x,x -> y))<=y satisfying the condition f(1,1)=1, is considered for defining operations a->b among the elements of B. These operations are called ``Conditionals'' for f. In this paper, we obtain all the boolean Conditionals and Internal Conditionals, and some of their properties as, for example, monotonicity are briefly discussed. |
|---|