On logical systems with implications and theories of algebras

DOI10.1007/BF02120528MaRDI QIDQ2264664zbMATH OpenFDO

Authors Jerzy Kotas

Publication date 1973

Published in Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15) General logic (03B99)

Cites work

• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3196257 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3050845 (Why is no real title available?)
• A cylindrical algebra based on the Boolean ring
• About the equivalent theories of algebras with relations
• Allgemeine Logische und Mathematische Theorien
• An axiom system for the modular logic
• Logical systems with implications
• On a generalized cylindrical algebra and intuitionistic logic
• Remarks About a Closure Algebra in which Closed Elements are Open
• The separation theorem of intuitionist propositional calculus

Cited in

(1)

• On quantity of logical values in the discussive \(D_2\) system and in modular logic

This page was built for publication: On logical systems with implications and theories of algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2264664)