New axioms for mereology
type: Item
instance of: scholarly article
title: New axioms for mereology
zbMATH Open document ID: 0595.03021
author: Audoënus Le Blanc
published in: Notre Dame Journal of Formal Logic
publication date: 1985-01-01T00:00:00Z
review text: This paper provides two new single-axiom systems for Lesniewski's mereology. Equivalence with other systems is established proof- theoretically.
reviewed by: Graham Priest
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 3957065
zbMATH Keywords: axiomatics
zbMATH Keywords: Lesniewski's mereology
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093870935
OpenAlex ID: W2004646259
Wikidata QID: Q114598288
DOI: 10.1305/NDJFL/1093870935
Recommended article: Axioms for mereology
Recommended article: NATURAL AXIOMS FOR CLASSICAL MEREOLOGY
Recommended article: On Tarski's axiomatization of mereology
Recommended article: On Three Axiom Systems for Classical Mereology
Recommended article: Intuitionistic mereology
Recommended article: Q3105694
Recommended article: Analytic rules for mereology
Recommended article: Axioms for actuality
Recommended article: A comprehensive picture of the decidability of mereological theories
Recommended article: Decidability of mereological theories
description: scientific article; zbMATH DE number 3957065