scientific article; zbMATH DE number 3784880

zbMATH Open0498.03050MaRDI QIDQ3962998FDOQ3962998

Authors: Branislav Boričić 

Publication date: 1981

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

zbMATH Keywords

uniform algebrasHeyting propositional calculusfree cylindric algebra of first-order formulasHeyting first- order predicate calculuspseudo-Boolean algebra of propositional formulas

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15)

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