Statistics of intuitionistic versus classical logics
From MaRDI portal
Publication:1826933
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
intuitionistic logicclassical propositional logicasymptotic density of tautologiesprobabilistic methods in logic
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