Formalizing calendars with the category of ordinals
type: Item
instance of: scholarly article
title: Formalizing calendars with the category of ordinals
zbMATH Open document ID: 1049.68142
DOI: 10.1023/A:1020091400553
published in: Applied Intelligence
publication date: 2003-03-12T00:00:00Z
Mathematics Subject Classification ID: 68T99
zbMATH DE Number: 1880511
zbMATH Keywords: time
zbMATH Keywords: chronology
zbMATH Keywords: calendar
zbMATH Keywords: temporal granularities
zbMATH Keywords: finite ordinals category
author: Sylvianne R. Schwer
MaRDI profile type: Publication
full work available at URL: a:1020091400553
OpenAlex ID: W1494291227
Recommended article: Type-theoretic approaches to ordinals
Recommended article: An algebraic representation of calendars
Recommended article: Q4778773
Recommended article: Order-enriched categorical models of the classical sequent calculus
Recommended article: A temporal logic for sortals
Recommended article: The Complexity of Temporal Logic with Until and Since over Ordinals
Recommended article: A higher-order duration calculus and its completeness
Recommended article: Formalizing Ordinal Partition Relations Using Isabelle/HOL
Recommended article: Q4255506
Recommended article: A mechanizable first-order theory of ordinals
description: scientific article; zbMATH DE number 1880511