cancelpublished Indicative conditionals and triviality: separating semantics from reasoning

status will change from published to submitted

validating...