Return to Article Details A Post-style proof of completeness theorem for symmetric relatedness Logic S Download Download PDF