Logical systems with implications

DOI10.1007/BF02124271zbMath0317.02070MaRDI QIDQ1221757

Jerzy Kotas

Publication date: 1971

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (10)

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

Cites Work

• An axiom system for the modular logic
• A cylindrical algebra based on the Boolean ring
• On the algebra of classes of formulae of Jaskowski's discussive system
• A remark on functionally free algebras
• Begründung einer strengen Implikation
• Allgemeine Logische und Mathematische Theorien
• Unnamed Item
• Unnamed Item

This page was built for publication: Logical systems with implications