๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Arthur Prior and Hybrid Logic

โœ Scribed by Patrick Blackburn

Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
234 KB
Volume
150
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Hybrid Identities and Hybrid Equational
Hybrid Identities and Hybrid Equational Logic
โœ Klaus Denecke ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 363 KB

## Abstract Hybrid identities are sentences in a special second order language with identity. The model classes of sets of hybrid identities are called hybrid solid varieties. We give a Birkhoffโ€typeโ€characterization of hybrid solid varieties and develop a hybrid equational logic.