Products of two-sorted structures

Journal of Symbolic Logic 37 (1):75-80 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272548

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A characterization of ML in many-sorted arithmetic with conditional application.M. D. G. Swaen - 1992 - Journal of Symbolic Logic 57 (3):924 - 953.
Products of classes of residuated structures.Bjarni Jónsson & Constantine Tsinakis - 2004 - Studia Logica 77 (2):267 - 292.
The Ontology of Products.Massimiliano Vignolo - 2010 - Metaphysica 11 (1):1-16.
Tensor product variable binding and the representation of symbolic structures in connectionist systems.Paul Smolensky - 1990 - Artificial Intelligence 46 (1-2):159-216.
Matching Topological and Frame Products of Modal Logics.Philip Kremer - 2016 - Studia Logica 104 (3):487-502.
On products of structures for generalized logics.Jan Waszkiewicz & Bogdan Węglorz - 1969 - Studia Logica 25 (1):7 - 15.
Symbolic Products: Prestige, Pride and Identity Goods.Elias L. Khalil - 2000 - Theory and Decision 49 (1):53-77.
Coinductive formulas and a many-sorted interpolation theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.

Analytics

Added to PP
2009-01-28

Downloads
29 (#536,973)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Languages with Expressions of Infinite Length.William P. Hanf - 1964 - Journal of Symbolic Logic 33 (3):477-478.
Some First Order Properties of Direct Sums of Modules.Phillip Olin - 1970 - Mathematical Logic Quarterly 16 (8):405-416.

Add more references