Return to Article Details A method of comparison of Post-complete propositional logics Download Download PDF