Statistics of intuitionistic versus classical logics

DOI10.1023/B:STUD.0000032101.88511.93zbMath1049.03007OpenAlexW2025385225MaRDI QIDQ1826933

Zofia Kostrzycka, Marek Zaionc

Publication date: 6 August 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000032101.88511.93

zbMATH Keywords

intuitionistic logicclassical propositional logicasymptotic density of tautologiesprobabilistic methods in logic

Mathematics Subject Classification ID

Foundations and philosophical topics in statistics (62A01) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (13)

The fraction of large random trees representing a given Boolean function in implicational logic ⋮ Probability distribution for simple tautologies ⋮ A sprouting tree model for random boolean functions ⋮ Asymptotic Properties of Combinatory Logic ⋮ Intuitionistic vs. Classical Tautologies, Quantitative Comparison ⋮ Fuzzy logics – quantitatively ⋮ Asymptotic densities in logic and type theory ⋮ Statistics of implicational logic ⋮ Tautologies over implication with negative literals ⋮ Complexity and Limiting Ratio of Boolean Functions over Implication ⋮ On asymptotic divergency in equivalential logics ⋮ The density of truth in monadic fragments of some intermediate logics ⋮ On the density of truth of implicational parts of intuitionistic and classical logics

This page was built for publication: Statistics of intuitionistic versus classical logics