scientific article; zbMATH DE number 4164188

MaRDI QIDQ3491010zbMATH OpenFDO

Authors Mark J. Shensa

Publication date 1989

zbMATH Keywords

disjunctive normal formPASCALpropositional calculus

Mathematics Subject Classification ID

Classical propositional logic (03B05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30)

Recommendations

• A coding method for a sequent calculus of propositional logic
• Modeling and integer programming techniques applied to propositional calculus
• scientific article; zbMATH DE number 4039849
• scientific article; zbMATH DE number 1390272
• A calculus of propositional properties of programs

Cited in

(8)

• A logical calculus for problem solving in highly structured application domains
• The classification of propositional calculi
• The Multi-SAT algorithm
• A Schemata Calculus for Propositional Logic
• scientific article; zbMATH DE number 3957069 (Why is no real title available?)
• Propositional computability logic I
• Propositional computability logic II
• A coding method for a sequent calculus of propositional logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3491010)