New York University

logic without disjunctive syllogism offers a model theory for her logic—e.g. one on which an argument is sententially valid iff any assignment of one of the values T, U, F to the sentences of the language that obeys certain rules and gives the premises a value other than F also gives the conclusion other than F (“ ................
................