A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
type: Item
instance of: scholarly article
title: A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
zbMATH Open document ID: 0597.03015
DOI: 10.1007/BF00370344
author: Mitsunori Kobayashi
author: Arata Ishimoto
published in: Studia Logica
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 3961583
zbMATH Keywords: embedding in first-order predicate logic
Wikidata QID: Q114694675
MaRDI profile type: Publication
cites work: Q5582318
cites work: Q5813181
cites work: Q5538910
cites work: Q5560258
cites work: Tableau systems for first order number theory and certain higher order theories
full work available at URL: https://doi.org/10.1007/bf00370344
OpenAlex ID: W2066197269
description: scientific article; zbMATH DE number 3961583