We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension, i. e. it represents ⊥. Our calculus establishes that a graph has empty extension by converting it to a normal form, which is expanded to other graphs until we...

By P. F. LUCAS E XCISION of a lymph node has for many years been the final arl)it.er in the diagnosis of lymphadenopathy. This often leads to considerable expense and delay in treatment because general anesthesia and admission to hospital may be necessary, apart from the time taken to fix and stain sections. The imiiportance of establishing a diagnosis before treatmenthas led to increasing use ...

This study presents the potential use of Greek School Network (GSN) in order to provide a robust and versatile e-learning course for computer science educators, allowing the exploitation of advanced IT services and establishing a modern and attractive education environment in the Greek Society. ! time Scheduling and Tele-Education Platform (t-STEP) is introduced that compensates the growing nee...

Gauge theories on q-deformed spaces are constructed using covariant derivatives. For this purpose a “vielbein” is introduced, which transforms under gauge transformations. The non-Abelian case is treated by establishing a connection to gauge theories on commutative spaces, i.e. by a Seiberg-Witten map. As an example we consider the Manin plane. Remarks are made concerning the relation between c...