A complete and consistent formal system for sortals
type: Item
instance of: scholarly article
title: A complete and consistent formal system for sortals
zbMATH Open document ID: 0962.03006
DOI: 10.1023/A:1005239914821
author: Max A. Freund
published in: Studia Logica
publication date: 2000-12-19T00:00:00Z
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 1546775
zbMATH Keywords: sortal logic
zbMATH Keywords: semantics for sortals
zbMATH Keywords: conceptualism
MaRDI profile type: Publication
full work available at URL: a:1005239914821
OpenAlex ID: W1503208232
Recommended article: Complete formal systems for equivalence problems
Recommended article: Q3737481
Recommended article: On Uniformly Constructive and Semiconstructive Formal Systems
Recommended article: A new system of proof-theoretic ordinal functions
Recommended article: Formal systems of constructive mathematics
Recommended article: Ordinal Theory for Expressiveness of Well Structured Transition Systems
Recommended article: On the order-theoretic properties of lower concept formula systems
Recommended article: Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
Recommended article: Ordinal theory for expressiveness of well-structured transition systems
Recommended article: A Complete Logical System for the Equality of Recursive Terms for Sets
description: scientific article; zbMATH DE number 1546775