Atlas home || Conferences | Abstracts | about Atlas

AAA63-Workshop on General Algebra (63. Arbeitstagung Allgemeine Algebra) combined with CYA17-Conference of Young Algebraists (17. Tagung junger Algebraiker)
February 22-24, 2002
University of Kaiserslautern, Department of Mathematics
Kaiserslautern, Germany

Organizers
Dietmar Schweigert

View Abstracts
Conference Homepage

Reasoning with Existential Semiconcept Graphs
by
Julia Klinger

Existential semiconcept graphs, thus semiconcept graphs with variables, can be understood as a part of contextual judgment logic. They are introduced as well formed formulas over a certain alphabet. Then a model-theoretic semantics is developed based on power context families. In order to treat questions of inference, the entailment relation is characterized by means of the standard power context family.

Date received: February 20, 2002

Copyright © 2002 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caht-31.