作者: Nicolás Madrid , Manuel Ojeda-Aciego
DOI: 10.1016/J.FSS.2019.12.004
关键词: Lattice (order) 、 Negation 、 Algebraic structure 、 Satisfiability 、 Mathematics 、 Pure mathematics
摘要: Abstract We focus primarily on the use of involutive negations in adjoint triples and satisfiability contraposition law. Instead considering natural negations, such as n ( x ) = → 0 , we consider an arbitrary negation triple. Then, construct a multiadjoint lattice (an algebraic structure with several conjunctions implications) help two new defined from original one considered. Finally, present results that relate different implications appearing mentioned multi-adjoint terms logical laws contraposition, interchange exportation.