On logical systems with implications and theories of algebras

DOI10.1007/BF02120528zbMATH Open0274.02032MaRDI QIDQ2264664FDOQ2264664

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

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

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)