Lunardi logic