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


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:









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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section