The power of Peircean Algebraic Logic (PAL)

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2961, Issue , 2004, Pages 337-351

  Hereth Correia, Joachim ^a   Pöschel, Reinhard ^b  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; GRAPH THEORY; MATHEMATICAL OPERATORS; MATHEMATICAL TECHNIQUES; SET THEORY; THEOREM PROVING; INFORMATION ANALYSIS;

EXISTENTIAL GRAPHS; PEIRCEAN ALGEBRAIC LOGIC (PAL); RELATIONAL ALGEBRAS;

FORMAL LOGIC; FORMAL CONCEPT ANALYSIS;

ALGEBRAIC LOGIC; ALGEBRAIZATION; EXISTENTIAL GRAPHS; EXPRESSIVE POWER; FIRST-ORDER FORMULAS; RELATIONAL ALGEBRA; RELATIONAL STRUCTURES; SPECIAL PROPERTIES;

EID: 9444296539     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-24651-0_29     Document Type: Conference Paper

References (11)

1. M. Arnold, Einführung in die kontextuelle Relationenlogik. Diplomarbeit, Technische Universität Darmstadt, 2001.
2. R. W. Burch, A Peircean Reduction Thesis: The Foundations of Topological Logic. Texas Tech University Press, 1991.
3. Hans G. Herzberger, Peirce's Remarkable Theorem. In: L.W. Sumner, J. G. Slater, and F. Wilson (eds.), Pragmatism and Purpose: Essays Presented to Thomas A. Goudge, University of Toronto Press, Toronto, 1981.
4. J. Hereth Correia and R. Pöschel, Peircean Algebraic Logic and Relational Clones. Manuscript in preparation.
5. S. Pollandt, Relation graphs: a structure for representing relations in contextual logic of relations. In: U. Priss, D. Corbett, and G. Angelova (eds.), Conceptual Structures: Integration and Interfaces, Proc. 10th Int.Conf. on Conceptual Structures, vol. 2393 of LNAI, Springer, 2002, pp. 34-47.
6. R. Pöschel, Galois connections for operations and relations. In: K. Denecke, M. Erné, and S. Wismath (eds.), Galois connections and applications, Kluwer, Dordrecht, 2003 (to appear).
7. R. Pöschel and L. Kalužnin, Funktionen- und Relationenalgebren. Deutscher Verlag derWissenschaften, Berlin, 1979, Birkhäuser Verlag Basel, Math. Reihe Bd. 67, 1979.
8. J. F. Sowa: Conceptual structures: Information processing in mind and machine. Addison-Wesley, Reading 1984.
9. J. Sowa, Conceptual graphs summary. In: T. Nagle, J. Nagle, L. Gerholz, and P. Eklund (eds.), Conceptual structures: Current Research and Practice, Ellis Horwood, 1992, pp. 3-52.
10. A. Tarski, On the calculus of relations. J. Symbolic Logic 6, (1941), 73-89.
11. R. Wille, Lecture notes on Contextual Logic of Relations. Preprint, Darmstadt University of Technology 2000.