𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Semijoin Algebra and the Guarded Fragment

✍ Scribed by Dirk Leinders; Maarten Marx; Jerzy Tyszkiewicz; Jan Van den Bussche

Book ID
106389635
Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
233 KB
Volume
14
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Deciding the guarded fragments by resolu
Deciding the guarded fragments by resolution
✍ Hans de Nivelle; Maarten de Rijke πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 353 KB

The guarded fragment (GF) is a fragment of first-order logic that has been introduced for two main reasons: first, to explain the good computational and logical behaviour of propositional modal logics. Second, to serve as a breeding ground for well-behaved process logics. In this paper we give resol

Algebraic semantics for the (↔, ¬¬)-frag
Algebraic semantics for the (↔, ¬¬)-fragment of IPC
✍ Katarzyna SΕ‚omczyΕ„ska πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 151 KB

## Abstract We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the (↔, ¬¬)‐fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally complete.