Logical systems with implications

DOI10.1007/BF02124271MaRDI QIDQ1221757zbMATH OpenFDO

Authors Jerzy Kotas

Publication date 1971

Published in Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Classical propositional logic (03B05) Modal logic (including the logic of norms) (03B45) General logic (03B99) Algebraic logic (03Gxx)

Cites work

• scientific article; zbMATH DE number 3050845 (Why is no real title available?)
• A cylindrical algebra based on the Boolean ring
• A remark on functionally free algebras
• Allgemeine Logische und Mathematische Theorien
• An axiom system for the modular logic
• Begründung einer strengen Implikation
• On the algebra of classes of formulae of Jaskowski's discussive system
• СУБД: The SQL language in examples and problems

Cited in

(10)

• Logics of order and related notions
• On three-valued implicative systems
• Adjoint interpretations of sentential calculi
• On logical systems with implications and theories of algebras
• Matrix approach in methodology of sentential calculi
• Discussive sentential calculuc of Jaskowski
• About the equivalent theories of algebras with relations
• On quantity of logical values in the discussive \(D_2\) system and in modular logic
• Basic properties of the equivalence
• The axiomatization of S. Jaskowski's discussive system

This page was built for publication: Logical systems with implications

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