 Paraconsistent logics in the forms of relevant logics were proposed in England by Smiley in 1959 and also at about the same time, in a much more developed form, in the United States by Anderson and Belnap. An active group of relevant logicians grew up in Pittsburgh including Dunn, Meyer, and Urquhart. The development of paraconsistent logics (in the form of relevant logics) was transported to Australia. R. Routley (later Sylvan) and V. Routley (later Plumwood) discovered an intentional semantics for some of Anderson/Belnap relevant logics. A school developed around them in Canberra which included Brady and Mortensen, and later Priest who, together with R. Routley, incorporated dialetheism to the development.