Logica Universalis 11 (3):383-400 (2017)

Abstract
We show that for an arbitrary logic being locally tabular is a strictly weaker property than being locally finite. We describe our hunt for a logic that allows us to separate the two properties, revealing weaker and weaker conditions under which they must coincide, and showing how they are intertwined. We single out several classes of logics where the two notions coincide, including logics that are determined by a finite set of finite matrices, selfextensional logics, algebraizable and equivalential logics. Furthermore, we identify a closure property on models of a logic that, in the presence of local tabularity, is equivalent to local finiteness.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11787-017-0174-3
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: 63,339
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

An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.

View all 13 references / Add more references

Citations of this work BETA

Compositional Meaning in Logic.Carlos Caleiro & Luca Viganò - 2017 - Logica Universalis 11 (3):283-295.

Add more citations

Similar books and articles

Topological Complexity of Locally Finite Ω-Languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.
Quantifier-Eliminable Locally Finite Graphs.Shawn Hedman & Wai Yan Pong - 2011 - Mathematical Logic Quarterly 57 (2):180-185.
Some Locally Tabular Logics with Contraction and Mingle.Ai-ni Hsieh - 2010 - Reports on Mathematical Logic:143-159.
Subquasivarieties of Implicative Locally-Finite Quasivarieties.Alexej P. Pynko - 2010 - Mathematical Logic Quarterly 56 (6):643-658.
Locally Finite Weakly Minimal Theories.James Loveys - 1991 - Annals of Pure and Applied Logic 55 (2):153-203.
Tabular Logics with No Finite Bases for Inference Rules.V. Rybakov - 2004 - Logic Journal of the IGPL 12 (4):301-311.
On Solvable Congruences in Finitely Decidable Varieties.Matthew A. Valeriote - 1994 - Mathematical Logic Quarterly 40 (3):398-414.
Prefinitely Axiomatizable Modal and Intermediate Logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
Stretchings.O. Finkel & J. P. Ressayre - 1996 - Journal of Symbolic Logic 61 (2):563-585.

Analytics

Added to PP index
2017-07-18

Total views
6 ( #1,102,491 of 2,448,787 )

Recent downloads (6 months)
3 ( #223,910 of 2,448,787 )

How can I increase my downloads?

Downloads

My notes