Tautologies over implication with negative literals
From MaRDI portal
Publication:3583801
DOI10.1002/malq.200810053zbMath1196.03012MaRDI QIDQ3583801
Marek Zaionc, Daniéle Gardy, Antoine Genitrini, Hervé Fournier
Publication date: 18 August 2010
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200810053
03B05: Classical propositional logic
Related Items
Enumerating lambda terms by weighted length of their de Bruijn representation, The fraction of large random trees representing a given Boolean function in implicational logic, A sprouting tree model for random boolean functions
Cites Work
- Lectures on the Curry-Howard isomorphism
- Statistics of intuitionistic versus classical logics
- Probability distribution for simple tautologies
- Singularity Analysis of Generating Functions
- Intuitionistic vs. Classical Tautologies, Quantitative Comparison
- Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
- Classical and Intuitionistic Logic Are Asymptotically Identical
- Some typical properties of large AND/OR Boolean formulas
- Statistical properties of simple types
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item