scientific article; zbMATH DE number 2015271
From MaRDI portal
Publication:4438099
zbMath1032.03015MaRDI QIDQ4438099
Marek Zaionc, Zofia Kostrzycka
Publication date: 9 December 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
asymptotic behaviourlinear logicdensity of truthlength of formulaslinear tautologiesgenerating functions for classes of tautologies
Exact enumeration problems, generating functions (05A15) Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items (2)
Fuzzy logics – quantitatively ⋮ The density of truth in monadic fragments of some intermediate logics
This page was built for publication:
