On density of truth of the intuitionistic logic in one variable

zbMATH Open1355.03010MaRDI QIDQ2959883FDOQ2959883

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

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

zbMATH Keywords

intuitionistic logicdensity of truth

Mathematics Subject Classification ID

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

Cited In (8)

• On formulas of one variable in intuitionistic propositional calculus
• Title not available (Why is that?)
• On the density of truth of implicational parts of intuitionistic and classical logics
• The density of truth in monadic fragments of some intermediate 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)