Charles Explorer logo
🇬🇧

Three-Element Implicative Matrices

Publication at Faculty of Arts |
2003

Abstract

The class of three-element implicative posets is defined. We will show for which three-element implicative posets an analogy of deductive law exists, and for which is possible to describe the consequence operator with the modus ponens rule only.