Intuitionistic vs. Classical Tautologies, Quantitative Comparison

DOI10.1007/978-3-540-68103-8_7MaRDI QIDQ3499752zbMATH OpenOpenAlexFDO

Authors Antoine Genitrini, Jakub Kozik, Marek Zaionc

Publication date 3 June 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-68103-8_7

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Statistics of intuitionistic versus classical logics
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
• In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
• Classical and Intuitionistic Logic Are Asymptotically Identical
• On the asymptotic density of tautologies in logic of implication and negation

Cites work

• scientific article; zbMATH DE number 3112944 (Why is no real title available?)
• Analytic combinatorics
• And/Or Trees Revisited
• And/or tree probabilities of Boolean functions
• Asymptotic density for equivalence
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Generatingfunctionology
• On the asymptotic density of tautologies in logic of implication and negation
• Probability distribution for simple tautologies
• Random Boolean expressions
• Some typical properties of large AND/OR Boolean formulas
• Statistical properties of simple types
• Statistics of intuitionistic versus classical logics

Cited in

(12)

• Statistics of intuitionistic versus classical logics
• In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
• Tautologies over implication with negative literals
• Almost all Classical Theorems are Intuitionistic
• 2-Xor revisited: satisfiability and probabilities of functions
• Generalised and quotient models for random and/or~trees and application to satisfiability
• scientific article; zbMATH DE number 7455712 (Why is no real title available?)
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
• scientific article; zbMATH DE number 6607423 (Why is no real title available?)
• On the number of unary-binary tree-like structures with restrictions on the unary height
• Fuzzy logics – quantitatively

This page was built for publication: Intuitionistic vs. Classical Tautologies, Quantitative Comparison

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