In addition to her impressive leisure and culture work, Madelaine s portfolio includes bioclimatic residential work allied with a strict concern for constructive logic
and the essential role of the wind as an integral design element.
The second contribution is a constructive logic
embedded in the concept of critical juncture.
Our setting is Bishop's constructive mathematics (, , , ,  and ), mathematics developed with Constructive logic (or Intuitionistic logic) - logic without the Law of Excluded Middle P [disjunction][logical not]P.
Since in Constructive logic the 'Law of Excluded Middle' is not valid, in Bishop's constructive algebra the following relation is also interesting: a relation symmetric to ordered relation [less than or equal to].
A recent articulation of this view has been developed in terms of quantification over different cases: classical logic emerges from consistent and complete cases, constructive logic
from consistent and incomplete cases, and paraconsistent logic from inconsistent and complete cases.
, Truth and Warranted Assertability, G.
While developing in greater detail his own version of antirealism that respects those two constraints, Tennant combines the knowability requirement with the claim that truth need not be bivalent, which in turn leads him to replace classical logic based on bivalence by a nonclassical constructive logic
, namely, intuitionistic relevant logic.