On asymptotic divergency in equivalential logics

DOI10.1017/S0960129507006391zbMATH Open1136.03008OpenAlexW2134383339MaRDI QIDQ5458069FDOQ5458069

Authors: Zofia Kostrzycka 

Publication date: 10 April 2008

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129507006391

Recommendations

• Asymptotic density for equivalence
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Density of tautologies in logics with one variable
• Statistics of intuitionistic versus classical logics
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System

zbMATH Keywords

density of truth

Mathematics Subject Classification ID

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

Cites Work

• Singularity Analysis of Generating Functions
• Statistical properties of simple types
• Equivalential algebras. I: Representation
• Statistics of intuitionistic versus classical logics
• On the density of truth of implicational parts of intuitionistic and classical logics

Cited In (6)

• Title not available (Why is that?)
• Some remarks on equivalence in infinitary and stationary logic
• Asymptotic density for equivalence
• The fraction of large random trees representing a given Boolean function in implicational logic
• Complexity and Limiting Ratio of Boolean Functions over Implication
• Axiomatising divergence

This page was built for publication: On asymptotic divergency in equivalential logics

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