lánckövetkeztetés: a →logikában egymáshoz kapcsolódó következtetések nyilvánvaló közbeeső tételének kihagyása.
A lexikon a budapesti Pálos Könyvtárban készült 1980 és 2013 között. A honlapon a korabeli szócikkek olvashatók, az újabb eseményeket, kutatási eredményeket a szócikkek nem tartalmazzák.