Mathematical Logic Quarterly 50 (1):65 (2004)

Abstract
We study the linear Lindenbaum algebra of Basic Propositional Calculus, called linear basic algebra
Keywords Basic propositional logic  Heyting algebra  basic algebra
Categories (categorize this paper)
DOI 10.1002/malq.200310077
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,577
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Propositional Calculus with Denumerable Matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Logic with Truth Values in a Linearly Ordered Heyting Algebra.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):395-408.
Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
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

Citations of this work BETA

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.

Add more citations

Similar books and articles

On Löb Algebras.Majid Alizadeh & Mohammad Ardeshir - 2006 - Mathematical Logic Quarterly 52 (1):95-105.
N‐Linear Weakly Heyting Algebras.Sergio A. Celani - 2006 - Mathematical Logic Quarterly 52 (4):404-416.
Approximation Logic and Strong Bunge Algebra.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (4):595-605.
MV and Heyting Effect Algebras.D. J. Foulis - 2000 - Foundations of Physics 30 (10):1687-1706.
Bounded Distributive Lattices with Strict Implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
Monadic Bounded Algebras.Galym Akishev & Robert Goldblatt - 2010 - Studia Logica 96 (1):1 - 40.

Analytics

Added to PP index
2013-12-01

Total views
24 ( #478,276 of 2,533,599 )

Recent downloads (6 months)
1 ( #389,998 of 2,533,599 )

How can I increase my downloads?

Downloads

My notes