Sistemes Lgics : Lgica emprica, Lgica modal, Lgica de descripci, Lgica de primer ordre, Lgica combinatria, Lgica Paraconsistent