Lambert Logic