Electronic Resource
Springer
Studia logica
52 (1993), S. 405-417
ISSN:
1572-8730
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract In the paper we present completeness theorems for hybrid logics, discuss the problem of finite axiomatization and study term rewriting and unification for the variety of distributive lattices and the variety of groups of exponent 2.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01057655
Permalink
|
Location |
Call Number |
Expected |
Availability |