scientific article; zbMATH DE number 29724

MaRDI QIDQ3984864zbMATH OpenFDO

Authors Fangmin Song

Publication date 27 June 1992

zbMATH Keywords

axiomatic system of infinite linear logicinfinite connectivephase semantics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• An Infinitary Model of Linear Logic
• Infinitary hybrid logic and the Lindelöf property
• scientific article; zbMATH DE number 1163986
• Logics of infinite depth
• Infinitary logics and 0-1 laws
• Infinitary logic for computer science
• Infinite truth-functional logic
• Infinitary logic and inductive definability over finite structures
• Complete infinitary type logics
• Infinitary logics and abstract elementary classes

Cited in

(6)

• Infinitary logics and 0-1 laws
• Arrow logic and infinite counting
• An Infinitary Model of Linear Logic
• scientific article; zbMATH DE number 1534491 (Why is no real title available?)
• scientific article; zbMATH DE number 7003195 (Why is no real title available?)
• Computing with infinitary logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3984864)