Model structures and set algebras for Sugihara matrices

Notre Dame Journal of Formal Logic 23 (1):85-90 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093883569

Links

PhilArchive



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

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

On the lattice of quasivarieties of Sugihara algebras.W. J. Blok & W. Dziobiak - 1986 - Studia Logica 45 (3):275 - 280.
Algebras and matrices for annotated logics.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2000 - Studia Logica 65 (1):137-153.
The number of one-generated cylindric set algebras of dimension greater than two.Jean A. Larson - 1985 - Journal of Symbolic Logic 50 (1):59-71.
R⌝-algebras and r⌝-model structures as power constructs.Chris Brink - 1989 - Studia Logica 48 (1):85 - 109.
Construction of models for algebraically generalized recursive function theory.H. R. Strong - 1970 - Journal of Symbolic Logic 35 (3):401-409.
Free set algebras satisfying systems of equations.G. Aldo Antonelli - 1999 - Journal of Symbolic Logic 64 (4):1656-1674.
Symmetrical Heyting algebras with a finite order type of operators.Luisa Iturrioz - 1995 - Studia Logica 55 (1):89 - 98.
Functions definable in Sugihara algebras and their fragments (I).Marek Tokarz - 1975 - Studia Logica 34 (4):295 - 304.
Computable and continuous partial homomorphisms on metric partial algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Intrinsic co-Heyting boundaries and information incompleteness in rough set analysis.Piero Pagliani - unknown
Deduction theorems for RM and its extensions.Marek Tokarz - 1979 - Studia Logica 38 (2):105 - 111.

Analytics

Added to PP
2010-08-24

Downloads
18 (#828,105)

6 months
2 (#1,185,463)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Chris Mortensen
University of Adelaide

Citations of this work

Inconsistent models for relevant arithmetics.Robert Meyer & Chris Mortensen - 1984 - Journal of Symbolic Logic 49 (3):917-929.
Future Contradictions.Jc Beall - 2012 - Australasian Journal of Philosophy 90 (3):547-557.

Add more citations

References found in this work

No references found.

Add more references