Intuitionistic vs. Classical Tautologies, Quantitative Comparison

DOI10.1007/978-3-540-68103-8_7zbMath1138.03309OpenAlexW1535833595MaRDI QIDQ3499752

Jakub Kozik, Antoine Genitrini, 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)

Related Items (9)

In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid ⋮ Fuzzy logics – quantitatively ⋮ Unnamed Item ⋮ On the number of unary-binary tree-like structures with restrictions on the unary height ⋮ Tautologies over implication with negative literals ⋮ Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System ⋮ 2-Xor revisited: satisfiability and probabilities of functions ⋮ Generalised and quotient models for random and/or~trees and application to satisfiability ⋮ Almost all Classical Theorems are Intuitionistic

Cites Work

• Statistics of intuitionistic versus classical logics
• Probability distribution for simple tautologies
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Some typical properties of large AND/OR Boolean formulas
• Statistical properties of simple types
• And/Or Trees Revisited
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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