superconstructive adjective2 •Highly constructive. •In which the constructive propositional calculus can be simulated or is reducible; at least as powerful for proofs as the constructive propositional calculus.
