Q3984864
type: Item
instance of: scholarly article
zbMATH Open document ID: 0766.03004
author: Fangmin Song
publication date: 1992-06-27T00:00:00Z
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 29724
zbMATH Keywords: infinite connective
zbMATH Keywords: axiomatic system of infinite linear logic
zbMATH Keywords: phase semantics
MaRDI profile type: Publication
Recommended article: An Infinitary Model of Linear Logic
Recommended article: Q4619876
Recommended article: Q4395613
Recommended article: Q4636048
Recommended article: Infinitary logics and 0-1 laws
Recommended article: Infinitary logic for computer science
Recommended article: Infinite truth-functional logic
Recommended article: Infinitary logic and inductive definability over finite structures
Recommended article: Complete infinitary type logics
Recommended article: Infinitary logics and abstract elementary classes
description: scientific article; zbMATH DE number 29724