review the is-propositional property with three possible values:
strictly is,
strictly is not,
may be but uncertain
then re-visit the catalog of inference-rules with this new paradigm.
this should make is possible to raise syntax-error whenever a propositional formula is expected but a strictly-not propositional formula is received, e.g. if a object of the wrong type is received such as a an axiom when a propositional formula is expected.
review the is-propositional property with three possible values:
then re-visit the catalog of inference-rules with this new paradigm. this should make is possible to raise syntax-error whenever a propositional formula is expected but a strictly-not propositional formula is received, e.g. if a object of the wrong type is received such as a an axiom when a propositional formula is expected.