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

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)

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)

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

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)