Browsing Articole ► Conferinţa tehnico-ştiinţifică a colaboratorilor, doctoranzilor şi studenţilor (2010-2017) by Subject "regula de deducere Modus Ponens"
Browsing Articole ► Conferinţa tehnico-ştiinţifică a colaboratorilor, doctoranzilor şi studenţilor (2010-2017) by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Articole ► Conferinţa tehnico-ştiinţifică a colaboratorilor, doctoranzilor şi studenţilor (2010-2017) by Subject "regula de deducere Modus Ponens"
În lucrare se prezintă diagramele a nouă latici finite. Pentru fiecare dintre aceste latici s-au construit logici implicaţionale concrete care generează laticea dată.