Translator Disclaimer
2005 Relational Semantics for Kleene Logic and Action Logic
Katalin Bimbó, J.~Michael Dunn
Notre Dame J. Formal Logic 46(4): 461-490 (2005). DOI: 10.1305/ndjfl/1134397663

Abstract

Kleene algebras and action logic were proposed to be solutions to the finite axiomatization problem of the algebra of regular sets (of strings). They are treated here as nonclassical logics—with Hilbert-style axiomatizations and semantics. We also provide intuitive accounts in terms of information states of the semantics which provide further insights into the formalisms. The three types of "Kripke-style'' semantics which we define develop insights from gaggle theory, and from our four-valued and generalized Kripke semantics for the minimal substructural logic. Soundness and completeness are proven each time.

Citation

Download Citation

Katalin Bimbó. J.~Michael Dunn. "Relational Semantics for Kleene Logic and Action Logic." Notre Dame J. Formal Logic 46 (4) 461 - 490, 2005. https://doi.org/10.1305/ndjfl/1134397663

Information

Published: 2005
First available in Project Euclid: 12 December 2005

zbMATH: 1099.03014
MathSciNet: MR2183055
Digital Object Identifier: 10.1305/ndjfl/1134397663

Subjects:
Primary: 03B47
Secondary: 03B45, 03D05, 68Q70

Rights: Copyright © 2005 University of Notre Dame

JOURNAL ARTICLE
30 PAGES


SHARE
Vol.46 • No. 4 • 2005
Back to Top