Nagrinėjamos grynosios hibridinės logikos formulės, kuriose neigimas yra tik prieš nominalus. Aprašytas sekvencinis skaičiavimas su tuščiu sukcedentu, kuriame tėra tik dvi taisyklės nominalams.
Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.