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: 91,881

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

Augustus De Morgan's Boolean Algebra.Daniel D. Merrill - 2005 - History and Philosophy of Logic 26 (2):75-91.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
The semijoin algebra and the guarded fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Van den Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.
An Infinitary Extension of Jankov’s Theorem.Yoshihito Tanaka - 2007 - Studia Logica 86 (1):111 - 131.
Husserl and the Algebra of Logic: Husserl’s 1896 Lectures.Mirja Hartimo - 2012 - Axiomathes 22 (1):121-133.
Elementary topics in mathematical logic.Alonzo Church - 1942 - Brooklyn, N.Y. [Brooklyn,: Brooklyn, N.Y. [Brooklyn.
Twelve papers in logic and algebra.A. F. Lavrik (ed.) - 1979 - Providence: American Mathematical Society.
Truth approximation via abductive belief change.Gustavo Cevolani - 2013 - Logic Journal of the IGPL 21 (6):999-1016.
Geometry of logic and truth approximation.Thomas Mormann - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):431-454.
Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.
Boolean Skeletons of MV-algebras and ℓ-groups.Roberto Cignoli - 2011 - Studia Logica 98 (1-2):141-147.
Why Solovay real produces Cohen real.Janusz Pawlikowski - 1986 - Journal of Symbolic Logic 51 (4):957-968.
A new symbolic representation for the algebra of sets.Jerome Frazee - 1990 - History and Philosophy of Logic 11 (1):67-75.
The universal group of a Heyting effect algebra.David J. Foulis - 2006 - Studia Logica 84 (3):407 - 424.
Remarks on the church-Rosser property.E. G. K. López-Escobar - 1990 - Journal of Symbolic Logic 55 (1):106-112.

Analytics

Added to PP
2010-08-24

Downloads
39 (#408,642)

6 months
14 (#179,586)

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