Pages that link to "Item:Q2850400"
From MaRDI portal
The following pages link to An algorithm of classification of unranked propositional logic formulas (Q2850400):
Displaying 4 items.
- Multilevel descriptions of classes decreasing the number of steps in solving pattern recognition problems described by propositional formulas (Q946041) (← links)
- An algorithm for deriving tautologies of logic of classes and relations from those of sentential calculus (Q2753613) (← links)
- An eighteen-classification partition of the propositional formula set \(F(S)\) based on a revised Gödel operator (Q3054847) (← links)
- Decision procedure for checking validity of PAL formulas (Q3979283) (← links)