scientific article; zbMATH DE number 3957069

MaRDI QIDQ3726092zbMATH OpenFDO

Authors Radu Paltanea

Publication date 1980

zbMATH Keywords

derivation of a wordlogical derivationphrase structure grammar

Mathematics Subject Classification ID

Classical propositional logic (03B05) General logic (03B99) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Recommendations

• A formal grammatical model of the resolution method for the propositional calculus
• scientific article; zbMATH DE number 1341928
• scientific article; zbMATH DE number 999593
• scientific article; zbMATH DE number 6302922
• scientific article; zbMATH DE number 4147493
• Automated Reasoning with Analytic Tableaux and Related Methods
• scientific article; zbMATH DE number 4164188
• A cut-free Gentzen formulation of basic propositional calculus
• scientific article; zbMATH DE number 4180778
• Grammar specification in categorial logics and theorem proving

Cited in

(3)

• scientific article; zbMATH DE number 4147493 (Why is no real title available?)
• Grammar as Mathematics
• LOGICAL SYNTAX

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 Q3726092)