Modus ponens on Boolean algebras revisited
Article Sidebar
Main Article Content
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.
Article Details
Com citar
Trillas i Gay, Enric; Cubillo Villanueva, Susana. «Modus ponens on Boolean algebras revisited». Mathware & soft computing, 1996, vol.VOL 3, núm. 1, http://raco.cat/index.php/Mathware/article/view/84679.
Articles més llegits del mateix autor/a
- Juan Luis Castro Peña, Enric Trillas i Gay, The logic of neural networks , Mathware & soft computing: 1998: Vol.: 5 Núm.: 1
- Enric Trillas i Gay, A. Rodríguez, Susana Cubillo Villanueva, Ovchinnikov's automorphisms revisited , Mathware & soft computing: 1994: Vol.: 1 Núm.: 1
- Enric Trillas i Gay, Eloy Renedo, Claudi Alsina i Català, A short note on lattices allowing disjunctive reasoning , Mathware & soft computing: 2006: Vol.: 13 Núm.: 2
- Enric Trillas i Gay, Claudi Alsina i Català, A reflection on what is a membership function , Mathware & soft computing: 1999: Vol.: 6 Núm.: 2-3
- Claudi Alsina i Català, Enric Trillas i Gay, Claudio Moraga, Combining degrees of impairment: the case of the index of Balthazard , Mathware & soft computing: 2003: Vol.: 10 Núm.: 1
- Eloy Renedo, Enric Trillas i Gay, Claudi Alsina i Català, A note on the symmetric difference in lattices , Mathware & soft computing: 2005: Vol.: 12 Núm.: 1
- Settimo Termini, Enric Trillas i Gay, Editorial [Workshop Aspects of Mechanizing inference: context and problems, Naples 1995: revised versions papers ] , Mathware & soft computing: 1996: Vol.: 3 Núm.: 1-2
- Enric Trillas i Gay, Ana Pradera Gómez, An orthogonality-based classification of conjectures in ortholattices , Mathware & soft computing: 2006: Vol.: 13 Núm.: 1
- Enric Trillas i Gay, Susana Cubillo Villanueva, Adolfo Rodríguez De Soto, On the identity of fuzzy material conditionals , Mathware & soft computing: 1994: Vol.: 1 Núm.: 3
- Elena Esther Castiñeira Holgado, Susana Cubillo Villanueva, Carmen Torres-Blanc, Searching degrees of self-contradiction in Atanassov's fuzzy sets , Mathware & soft computing: 2006: Vol.: 13 Núm.: 3