Publications: Unpublished/Draft

Unpublished, Draft, To Appear
@UnPublished
Unveröffentlicht, Entwurf

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

Options:

Goto entry point

Author, Editor

Author(s):

Ohlbach, Hans Jürgen

dblp

BibTeX citekey*:

Ohlbach95b

Title, Booktitle

Title*:

Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination

Vol, No, pp., Year

Month:		Year:	1995
Language:	English	Pages:

Abstract, Links, ©

Note:	Submitted to IJCAI 95
LaTeX Abstract:	It is shown how axiomatic specifications of Boolean Algebras with extra functions as well as propositional extension of standard propositional logic can be transformed and simplified using syntactic methods, in particular quantifier elimination algorithms for second--order predicate logic. This enables us to exploit representation theorems and model theoretic semantics for these algebras and logics in such a way that for special instances of these systems, i.e. particular algebras and particular logics the corresponding specializations on the semantic side can be computed automatically. Special cases of the results of this paper are the theorem proving aspects of J{\'o}nsson and Traski's representation theorem for Boolean Algebras with operators, completeness of different possible worlds semantics for modal logics and a clarification of the correlation between correspondence and completeness in modal logics.
Categories / Keywords:
HyperLinks / References / URLs:
Personal Comments:
File Upload:

Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics Group
Audience:	Expert
Appearance:	MPG publications list, university publications list, working group publication list

BibTeX Entry:

@UNPUBLISHED{Ohlbach95b,
AUTHOR = {Ohlbach, Hans J{\"u}rgen},
TITLE = {Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination},
YEAR = {1995},
NOTE = {Submitted to IJCAI 95},
}

Entry last modified by Christine Kiesel, 03/12/2010

Edit History (please click the blue arrow to see the details)

	Editor(s) Hans Jürgen Ohlbach	Created 02/06/1995 05:56:20 PM
Revisions 7. 6. 5. 4. 3.	Editor(s) Christine Kiesel Christine Kiesel Uwe Brahm/MPII/DE Uwe Brahm/MPII/DE Uwe Brahm/MPII/DE	Edit Dates 16.09.2003 16:44:46 27.03.2001 11:04:33 AM 03/21/96 11:12:19 PM 10/02/95 17:20:06 09/02/95 11:31:58

Attachment Section