On logical systems with implications and theories of algebras

DOI10.1007/BF02120528zbMath0274.02032MaRDI QIDQ2264664

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)

Related Items (1)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On a generalized cylindrical algebra and intuitionistic logic
• Logical systems with implications
• An axiom system for the modular logic
• A cylindrical algebra based on the Boolean ring
• About the equivalent theories of algebras with relations
• Remarks About a Closure Algebra in which Closed Elements are Open
• Allgemeine Logische und Mathematische Theorien
• The separation theorem of intuitionist propositional calculus

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