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 kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.