Leśniewski's ontology -- proof-theoretic characterization
type: Item
instance of: scholarly article
title: Leśniewski's ontology -- proof-theoretic characterization
DOI: 10.1007/978-3-031-10769-6_32
author: Andrzej Indrzejczak
publication date: 2022-12-07T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7628208
zbMATH Keywords: Leśniewski
zbMATH Keywords: ontology
zbMATH Keywords: calculus of names
zbMATH Keywords: sequent calculus
zbMATH Keywords: cut elimination
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: 978-3-031-10769-6 32
OpenAlex ID: W4289103996
cites work: Hybrid logic and its proof-theory
cites work: Computer Science Logic
cites work: Fregean Description Theory in Proof-Theoretical Setting
cites work: Free logics are cut-free
cites work: Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
cites work: A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
cites work: On Lesniewski's elementary ontology
cites work: Substitutional quantification and Leśniewskian quantifiers
cites work: Q4023820
cites work: From axioms to synthetic inference rules via focusing
cites work: Proof theory for fuzzy logics
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: A semantical investigation into Leśniewski's axiom of his ontology
cites work: Q4716271
cites work: Leśniewski's systems of logic and foundations of mathematics
description: scientific article; zbMATH DE number 7628208