Statistics of intuitionistic versus classical logics
type: Item
instance of: scholarly article
title: Statistics of intuitionistic versus classical logics
zbMATH Open document ID: 1049.03007
DOI: 10.1023/B:STUD.0000032101.88511.93
author: Zofia Kostrzycka
author: Marek Zaionc
published in: Studia Logica
publication date: 2004-08-06T00:00:00Z
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\%\).
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 62A01
zbMATH DE Number: 2082012
zbMATH Keywords: classical propositional logic
zbMATH Keywords: asymptotic density of tautologies
zbMATH Keywords: probabilistic methods in logic
zbMATH Keywords: intuitionistic logic
reviewed by: Branislav Boričić
MaRDI profile type: Publication
full work available at URL: b:stud.0000032101.88511.93
OpenAlex ID: W2025385225
Recommended article: Statistics of implicational logic
Recommended article: Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
Recommended article: An intuitionistic characterization of classical logic
Recommended article: Around Classical and Intuitionistic Linear Logics
Recommended article: On the complexity of propositional quantification in intuitionistic logic
Recommended article: Absolute probability functions for intuitionistic propositional logic
Recommended article: Borel probabilistic and quantitative logic
Recommended article: Intuitionistic propositional probability logic
Recommended article: Intuitionistic vs. Classical Tautologies, Quantitative Comparison
Recommended article: Intuitionistic choice and classical logic
description: scientific article; zbMATH DE number 2082012