Semicomplemented Lattices and the Finite Model Property

&
Mathematical Logic Quarterly 32 (25-30):431-437 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860322508

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

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 finite model property for RMImin.Ai-ni Hsieh & James G. Raftery - 2006 - Mathematical Logic Quarterly 52 (6):602-612.
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
The finite model property for semilinear substructural logics.San-Min Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):268-273.
Compactness, the löwenheim‐skolem property and the direct product of lattices of truth values.Mingsheng Ying - 1992 - Mathematical Logic Quarterly 38 (1):521-524.
The Variety Of Residuated Lattices Is Generated By Its Finite Simple Members.Tomasz Kowalski & Hiroakira Ono - 2000 - Reports on Mathematical Logic:59-77.
On The Finite Embeddability Property For Residuated Lattices, Pocrims And Bck-algebras.Willem Blok & Clint Van Alten - 2000 - Reports on Mathematical Logic:159-165.
Substructure lattices and almost minimal end extensions of models of Peano arithmetic.James H. Schmerl - 2004 - Mathematical Logic Quarterly 50 (6):533-539.
The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Mathematical Logic Quarterly 5 (1‐2):29-32.
That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
A Class of Extensions of the Modal System S4 with the Finite Model Property.R. A. Bull - 1965 - Mathematical Logic Quarterly 11 (2):127-132.

Analytics

Added to PP
2013-12-01

Downloads
55 (#394,409)

6 months
9 (#497,927)

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

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.
Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.

Add more references