论文信息 - Relational Semantics for Kleene Logic and Action Logic - 字舞流文

Relational Semantics for Kleene Logic and Action Logic

Katalin Bimbó | J. Michael Dunn | J. Dunn | K. Bimbó

[1] J. Dunn,et al. Four-valued Logic , 2001 .

[2] Gerard Allwein,et al. Kripke models for linear logic , 1993, Journal of Symbolic Logic.

[3] Katalin Bimbó. Semantics for Structurally Free Logics LC+ , 2001, Log. J. IGPL.

[4] J. Michael Dunn,et al. A Representation of Relation Algebras Using Routley-Meyer Frames , 2001 .

[5] Chrysafis Hartonas,et al. Stone duality for lattices , 1997 .

[6] J. Michael Dunn,et al. Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations , 1990, JELIA.

[7] J. Michael Dunn,et al. Relevance Logic and Entailment , 1986 .

[8] Dexter Kozen. A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events , 1994, Inf. Comput..

[9] Vaughan R. Pratt,et al. Action Logic and Pure Induction , 1990, JELIA.

[10] J. Dunn,et al. Generalized Ortho Negation , 1996 .

[11] Garrett Birkhoff,et al. Representations of lattices by sets , 1948 .

[12] J. Dunn,et al. Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .

[13] Robert K. Meyer,et al. Combinators and Structurally Free Logic , 1997, Log. J. IGPL.

[14] Katalin Bimbó,et al. Semantics for Dual and Symmetric Combinatory Calculi , 2004, J. Philos. Log..