Hybrid Identities and Hybrid Equational Logic

Mathematical Logic Quarterly 41 (2):190-196 (1995)

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
Keywords Hyperidentity  Hybrid equational theory  Hybrid solid variety  Hybrid identity
Categories (categorize this paper)
DOI 10.1002/malq.19950410206
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,373
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.
Hybrid Languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
The Missing-Desires Objection to Hybrid Theories of Well-Being.William Lauinger - 2013 - Southern Journal of Philosophy 51 (2):270-295.
A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Hybridizing Moral Expressivism and Moral Error Theory.Toby Svoboda - 2011 - Journal of Value Inquiry 45 (1):37-48.
Decision Procedures for Some Strong Hybrid Logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
Hybrid Terms and Sentences.Dietmar Schweigert - 1993 - Studia Logica 52 (3):405 - 417.

Analytics

Added to PP index
2013-12-01

Total views
9 ( #823,619 of 2,286,142 )

Recent downloads (6 months)
3 ( #413,317 of 2,286,142 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature