View of Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

Return to Article Details Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality Download Download PDF