Intuitionistic vs. Classical Tautologies, Quantitative Comparison

DOI10.1007/978-3-540-68103-8_7zbMATH Open1138.03309OpenAlexW1535833595MaRDI QIDQ3499752FDOQ3499752

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

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

Mathematics Subject Classification ID

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

Cites Work

• Generatingfunctionology
• Title not available (Why is that?)
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Statistical properties of simple types
• Title not available (Why is that?)
• Title not available (Why is that?)
• And/Or Trees Revisited
• Some typical properties of large AND/OR Boolean formulas
• On the asymptotic density of tautologies in logic of implication and negation
• Statistics of intuitionistic versus classical logics
• Probability distribution for simple tautologies
• And/or tree probabilities of Boolean functions
• Asymptotic density for equivalence

Cited In (12)

• 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
• Title not available (Why is that?)
• Classical and Intuitionistic Logic Are Asymptotically Identical
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
• Title not available (Why is that?)
• Fuzzy logics – quantitatively
• On the number of unary-binary tree-like structures with restrictions on the unary height
• Statistics of intuitionistic versus classical logics

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)