Decision problem for linear orderings in stationary logics

Bulletin of the Section of Logic 20 (3/4):102-104 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,141

External links

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

Through your library

Similar books and articles

Theories of finitely determinate linear orderings in stationary logic.Heinrich Herre - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba (eds.), Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 89--113.
Gentzen systems and decision procedures for relevant logics.Steve Giambrone - 1982 - Bulletin of the Section of Logic 11 (3/4):169-174.
On the equimorphism types of linear orderings.Antonio Montalbán - 2007 - Bulletin of Symbolic Logic 13 (1):71-99.
Decision problem for finite equivalential algebras.Pawel M. Idziak - 1991 - Bulletin of the Section of Logic 20 (1):7-9.
Proving unprovability in some normal modal logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.
Temporalizing linear logic.Norihiro Kamide - 2007 - Bulletin of the Section of Logic 36 (3/4):173-182.
On reducts of intermediate logics.Stanis law Surma - 1980 - Bulletin of the Section of Logic 9 (4):176-178.

Analytics

Added to PP
2014-01-22

Downloads
25 (#739,673)

6 months
3 (#1,429,962)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Herre
Universität Leipzig

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references