On the linear Lindenbaum algebra of Basic Propositional Logic

&
Mathematical Logic Quarterly 50 (1):65 (2004)
  Copy   BIBTEX

Abstract

We study the linear Lindenbaum algebra of Basic Propositional Calculus, called linear basic algebra

Categories

Keywords

Reprint years

DOI

10.1002/malq.200310077

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,319

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 Löb algebras.Majid Alizadeh & Mohammad Ardeshir - 2006 - Mathematical Logic Quarterly 52 (1):95-105.
Amalgamation property for the class of basic algebras and some of its natural subclasses.Majid Alizadeh & Mohammad Ardeshir - 2006 - Archive for Mathematical Logic 45 (8):913-930.
n‐linear weakly Heyting algebras.Sergio A. Celani - 2006 - Mathematical Logic Quarterly 52 (4):404-416.
The proof complexity of linear algebra.Michael Soltys & Stephen Cook - 2004 - Annals of Pure and Applied Logic 130 (1-3):277-323.
The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
Natural dualities for varieties of BL-algebras.Antonio Di Nola & Philippe Niederkorn - 2005 - Archive for Mathematical Logic 44 (8):995-1007.
Vector and Geometric Calculus.Alan Macdonald - 2012 - North Charleston, SC: CreateSpace.
Boolean Algebras in Visser Algebras.Majid Alizadeh, Mohammad Ardeshir & Wim Ruitenburg - 2016 - Notre Dame Journal of Formal Logic 57 (1):141-150.
Approximation Logic and Strong Bunge Algebra.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (4):595-605.
Boolean Algebra as the Basis of Mathematical Logic.John-Michael Kuczynski - 2016 - Madison, WI, USA: Philosophypedia.

Analytics

Added to PP
2013-12-01

Downloads
51 (#468,157)

6 months
8 (#508,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Boolean Algebras in Visser Algebras.Majid Alizadeh, Mohammad Ardeshir & Wim Ruitenburg - 2016 - Notre Dame Journal of Formal Logic 57 (1):141-150.
n‐linear weakly Heyting algebras.Sergio A. Celani - 2006 - Mathematical Logic Quarterly 52 (4):404-416.

View all 6 citations / Add more citations

References found in this work

A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
Logic with truth values in a linearly ordered Heyting algebra.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):395-408.
Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.

View all 6 references / Add more references