scientific article; zbMATH DE number 3882409

zbMATH Open0554.03017MaRDI QIDQ3216635FDOQ3216635

Branislav Boričić

Publication date: 1983

Full work available at URL: https://eudml.org/doc/117174

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Title of this publication is not available (Why is that?)

Recommendations

• On the definition of ‘formal deduction’
• scientific article; zbMATH DE number 753772
• scientific article; zbMATH DE number 1354101
• A note on definability in equational logic
• scientific article

zbMATH Keywords

deductioninequational formal theory

Mathematics Subject Classification ID

Classical propositional logic (03B05) Other algebras related to logic (03G25) General logic (03B99)

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