Approximation Logic and Strong Bunge Algebra

Notre Dame Journal of Formal Logic 36 (4):595-605 (1995)
  Copy   BIBTEX

Abstract

In this paper we give an axiom system of a logic which we call an approximation logic (AL), whose Lindenbaum-Tarski algebra is a strong Bunge algebra (or simply s-Bunge algebra), and show thatFor every s-Bunge algebra , a quotient algebra by a maximal filter is isomorphic to the simplest nontrivial s-Bunge algebra ;The Lindenbaum algebra of AL is an s-Bunge algebra;AL is complete;AL is decidable

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1040136919

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Classification of Weak De Morgan Algebras.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (3):396-406.
On the linear Lindenbaum algebra of Basic Propositional Logic.Majid Alizadeh & Mohammad Ardeshir - 2004 - Mathematical Logic Quarterly 50 (1):65.
The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with $$\omega $$-stable theories.Mikhail Peretyat’kin - forthcoming - Archive for Mathematical Logic:1-12.
The lindenbaum algebra of the theory of the class of all finite models.Steffen Lempp, Mikhail Peretyat'kin & Reed Solomon - 2002 - Journal of Mathematical Logic 2 (02):145-225.
Topological duality for Nelson algebras and its application.Andrzej Sendlewski - 1984 - Bulletin of the Section of Logic 13 (4):215-219.
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.Alex Citkin - 2012 - Studia Logica 100 (1-2):115-135.
Inquisitive Heyting Algebras.Vít Punčochář - 2021 - Studia Logica 109 (5):995-1017.
Every quotient algebra for $C_1$ is trivial.Chris Mortensen - 1980 - Notre Dame Journal of Formal Logic 21 (4):694-700.
Algebraization of Jaśkowski’s Paraconsistent Logic D2.Janusz Ciuciura - 2015 - Studies in Logic, Grammar and Rhetoric 42 (1):173-193.
Exponentiations over the universal enveloping algebra of s l 2.Sonia L’Innocente, Angus Macintyre & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (12):1565-1580.

Analytics

Added to PP
2010-08-24

Downloads
39 (#421,117)

6 months
14 (#200,423)

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

Approximations and logic.Jean-Pierre Marquis - 1992 - Notre Dame Journal of Formal Logic 33 (2):184-196.
Classification of Weak De Morgan Algebras.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (3):396-406.

Add more references