Density of tautologies in logics with one variable

DOI10.14232/ACTACYB.20.3.2012.2MaRDI QIDQ4898736zbMATH OpenOpenAlexFDO

Authors László Aszalós, Tamás Herendi

Publication date 2 January 2013

Published in Acta Cybernetica (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/b31f439d11313c5ea8e50a46604fbb19510ea43c

zbMATH Keywords

densitygenerating functionstautologies

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• On the asymptotic density of tautologies in logic of implication and negation
• The density of truth in monadic fragments of some intermediate logics
• Density of truth in modal logics
• scientific article; zbMATH DE number 2114316
• On density of truth of the intuitionistic logic in one variable

Cited in

(11)

• The density of truth in monadic fragments of some intermediate logics
• Probability distribution for simple tautologies
• Asymptotic density for equivalence
• On density of truth of the intuitionistic logic in one variable
• Density of truth in modal logics
• On the density of truth of locally finite logics
• scientific article; zbMATH DE number 3952721 (Why is no real title available?)
• scientific article; zbMATH DE number 2015271 (Why is no real title available?)
• scientific article; zbMATH DE number 2114316 (Why is no real title available?)
• On asymptotic divergency in equivalential logics
• On the asymptotic density of tautologies in logic of implication and negation

This page was built for publication: Density of tautologies in logics with one variable

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