scientific article; zbMATH DE number 3882409

zbMATH Open0554.03017MaRDI QIDQ3216635FDOQ3216635

Authors: 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 DE number 4070873

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)