The following pages link to (Q5331452):
Displaying 14 items.
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- A linear and discrete programming framework for representing qualitative knowledge (Q1309850) (← links)
- Tools for reformulating logical forms into zero-one mixed integer programs (Q1317155) (← links)
- A kind of logical compilation for knowledge bases (Q1331921) (← links)
- The resonance strategy (Q1343396) (← links)
- The reasonableness of necessity. (Q1427936) (← links)
- Mathematical logic in Poland 1918–1939 (Q5214703) (← links)
- On axiom systems of propositional calculi, IV (Q5536241) (← links)
- On axiom systems of propositional calculi, XIII (Q5536249) (← links)
- Axiom systems of $B$-algebra, IV (Q5537337) (← links)
- On axiom systems of propositional calculi, XXIV (Q5541304) (← links)
- Axiom systems of Aristotle traditional logic, III (Q5549022) (← links)
- An algebra related with a propositional calculus (Q5607967) (← links)
- On axiom systems of propositional calculi, I (Q5628084) (← links)
