scientific article; zbMATH DE number 3882409

MaRDI QIDQ3216635zbMATH OpenFDO

Authors Branislav Boričić

Publication date 1983

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

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

zbMATH Keywords

deductioninequational formal theory

Mathematics Subject Classification ID

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

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

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)