Finitely inseparable first-order axiomatized mereotopological theories

Logic and Logical Philosophy 22 (3):347-363 (2013)
  Copy   BIBTEX

Abstract

This paper will first introduce first-order mereotopological axioms and axiomatized theories which can be found in some recent literature and it will also give a survey of decidability, undecidability as well as other relevant notions. Then the main result to be given in this paper will be the finite inseparability of any mereotopological theory up to atomic general mereotopology (AGEMT) or strong atomic general mereotopology (SAGEMT). Besides, a more comprehensive summary will also be given via making observations about other properties stronger than undecidability

Categories

Keywords

Reprint years

DOI

10.12775/llp.2013.016

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

On the Decidability of Axiomatized Mereotopological Theories.Hsing-Chien Tsai - 2015 - Notre Dame Journal of Formal Logic 56 (2):287-306.
Interpretability degrees of finitely axiomatized sequential theories.Albert Visser - 2014 - Archive for Mathematical Logic 53 (1-2):23-42.
A note on the interpretability logic of finitely axiomatized theories.Maarten Rijke - 1991 - Studia Logica 50 (2):241 - 250.
The unprovability of small inconsistency.Albert Visser - 1993 - Archive for Mathematical Logic 32 (4):275-298.
A note on the interpretability logic of finitely axiomatized theories.Maarten de Rijke - 1991 - Studia Logica 50 (2):241-250.
A Finitely Axiomatized Formalization of Predicate Calculus with Equality.Norman D. Megill - 1995 - Notre Dame Journal of Formal Logic 36 (3):435-453.
More on The Decidability of Mereological Theories.Hsing-Chien Tsai - 2011 - Logic and Logical Philosophy 20 (3):251-265.
Equational bases for joins of residuated-lattice varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
On Vaught’s Conjecture and finitely valued MV algebras.Antonio Di Nola & Giacomo Lenzi - 2012 - Mathematical Logic Quarterly 58 (3):139-152.
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.Igor Oliveira & Walter Carnielli - 2008 - Logic Journal of the IGPL 16 (6):585-590.
Classifying ℵo-categorical theories II: The existence of finitely axiomatizable proper class II theories.George Weaver & David Lippel - 1998 - Studia Logica 60 (2):275-297.
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
The finite inseparability of the first-order theory of diagonalisable algebras.Craig Smoryński - 1982 - Studia Logica 41 (4):347 - 349.
The Fraenkel‐Carnap question for Dedekind algebras.George Weaver & Benjamin George - 2003 - Mathematical Logic Quarterly 49 (1):92-96.
A note on algebras of substitutions.Gábor Sági - 2002 - Studia Logica 72 (2):265-284.

Analytics

Added to PP
2013-07-04

Downloads
28 (#556,922)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hsing-Chien Tsai
National Chung Cheng University

Citations of this work

No citations found.

Add more citations

References found in this work

A calculus of individuals based on "connection".Bowman L. Clarke - 1981 - Notre Dame Journal of Formal Logic 22 (3):204-218.
Decidability of mereological theories.Hsing-Chien Tsai - 2009 - Logic and Logical Philosophy 18 (1):45-63.
More on The Decidability of Mereological Theories.Hsing-Chien Tsai - 2011 - Logic and Logical Philosophy 20 (3):251-265.
On the Decidability of Axiomatized Mereotopological Theories.Hsing-Chien Tsai - 2015 - Notre Dame Journal of Formal Logic 56 (2):287-306.

Add more references