The density of truth in monadic fragments of some intermediate logics

DOI10.1007/s10849-006-9030-1zbMath1158.03017OpenAlexW2053294431MaRDI QIDQ1006461

Zofia Kostrzycka

Publication date: 24 March 2009

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-006-9030-1

zbMATH Keywords

generating functionslinear logicMedvedev's logicdensity of truth

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55)

Cites Work

• Statistics of intuitionistic versus classical logics
• Statistical properties of simple types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item