Leibniz filters revisited

Studia Logica 75 (3):305 - 317 (2003)

Authors
Ramon Jansana Ferrer
Universitat de Barcelona
Abstract
Leibniz filters play a prominent role in the theory of protoalgebraic logics. In [3] the problem of the definability of Leibniz filters is considered. Here we study the definability of Leibniz filters with parameters. The main result of the paper says that a protoalgebraic logic S has its strong version weakly algebraizable iff it has its Leibniz filters explicitly definable with parameters.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/B:STUD.0000009562.05301.ce
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,044
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Selfextensional Logics with a Conjunction.Ramon Jansana - 2006 - Studia Logica 84 (1):63-104.

View all 6 citations / Add more citations

Similar books and articles

Leibniz on Hobbes’s Materialism.Stewart Duncan - 2010 - Studies in History and Philosophy of Science Part A 41 (1):11-18.
Infinitary Combinatorics and Modal Logic.Andreas Blass - 1990 - Journal of Symbolic Logic 55 (2):761-778.
Countable Filters on Ω.Otmar Spinas - 1999 - Journal of Symbolic Logic 64 (2):469-478.
Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Leibniz: A Collection of Critical Essays.Harry G. Frankfurt - 1972 - University of Notre Dame Press.
Leibniz.Harry G. Frankfurt - 1972 - Garden City, N.Y., Anchor Books.

Analytics

Added to PP index
2009-01-28

Total views
26 ( #326,990 of 2,260,175 )

Recent downloads (6 months)
7 ( #207,131 of 2,260,175 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature