Statistics of intuitionistic versus classical logics

DOI10.1023/B:STUD.0000032101.88511.93MaRDI QIDQ1826933zbMATH OpenOpenAlexFDO

Authors 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

asymptotic density of tautologiesclassical propositional logicintuitionistic logicprobabilistic methods in logic

Mathematics Subject Classification ID

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

Review text

The authors consider the limit, when \(n\to\infty\), of the proportion of the number of true formulae of length \(n\) to the number of all formulae of this length, as the basic density measure of truth for the given logical system. The main, and quite interesting, result of this paper may be formulated as follows: the relative density of intuitionistic tautologies of the implication-negation one propositional variable fragment among classical ones is larger than \(93\%\).

Recommendations

• Statistics of implicational logic
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
• An intuitionistic characterization of classical logic
• Around classical and intuitionistic linear logics
• On the complexity of propositional quantification in intuitionistic logic
• Absolute probability functions for intuitionistic propositional logic
• Borel probabilistic and quantitative logic
• Intuitionistic propositional probability logic
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• Intuitionistic choice and classical logic

Cited in

(22)

• The density of truth in monadic fragments of some intermediate logics
• Probability distribution for simple tautologies
• The fraction of large random trees representing a given Boolean function in implicational logic
• Asymptotic properties of combinatory logic
• On density of truth of the intuitionistic logic in one variable
• On the density and the structure of the Peirce-like formulae
• A sprouting tree model for random boolean functions
• Intuitionistic vs. Classical Tautologies, Quantitative Comparison
• Tautologies over implication with negative literals
• Complexity and Limiting Ratio of Boolean Functions over Implication
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
• Classical and Intuitionistic Logic Are Asymptotically Identical
• On the density of truth of implicational parts of intuitionistic and classical logics
• On the density of truth of locally finite logics
• In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
• scientific article; zbMATH DE number 1916519 (Why is no real title available?)
• scientific article; zbMATH DE number 2114316 (Why is no real title available?)
• Statistics of implicational logic
• On asymptotic divergency in equivalential logics
• On the asymptotic density of tautologies in logic of implication and negation
• Fuzzy logics – quantitatively
• Asymptotic densities in logic and type theory

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

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