- Gödelovy-Dummettovy predikátové logiky a axiomy prenexovatelnosti2007 | Filozofická fakulta
- Poznámka o vzájemné vyjádřitelnosti logických spojek v konečněhodnotových Godelových-Dummettových logikách2006 | Filozofická fakulta
- O vzájemné interakci kvantifikátorů v Godelových-Dummetových fuzzy logikách2006 | Filozofická fakulta