On density of truth of the intuitionistic logic in one variable

MaRDI QIDQ2959883zbMATH OpenFDO

Authors Zofia Kostrzycka

Publication date 10 February 2017

Full work available at URL http://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAI0130

zbMATH Keywords

intuitionistic logicdensity of truth

Mathematics Subject Classification ID

Combinatorial probability (60C05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Statistics of intuitionistic versus classical logics
• scientific article; zbMATH DE number 1916519
• The density of truth in monadic fragments of some intermediate logics
• On the density of truth of implicational parts of intuitionistic and classical logics
• Density of tautologies in logics with one variable

Cited in

(8)

• On formulas of one variable in intuitionistic propositional calculus
• scientific article; zbMATH DE number 2015271 (Why is no real title available?)
• The density of truth in monadic fragments of some intermediate logics
• On the density of truth of implicational parts of intuitionistic and classical logics
• On the density and the structure of the Peirce-like formulae
• Density of tautologies in logics with one variable
• The value of the one value: \textit{exactly true logic} revisited
• Density of truth in modal logics

This page was built for publication: On density of truth of the intuitionistic logic in one variable

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