scientific article; zbMATH DE number 66912
From MaRDI portal
Publication:4011579
Recommendations
- scientific article; zbMATH DE number 6008338
- scientific article; zbMATH DE number 3271476
- Towards an algebraic semantics for implicatives
- Iimplication algebras
- Generalizations of Implication Algebras
- On implicative Boolean algebras
- Implicit connectives of algebraizable logics
- Some structure results for propositional calculi
- Algebraically expandable classes of implication algebras
- scientific article; zbMATH DE number 4158594
Cited in
(17)- Varieties of algebraic systems and propositional calculi
- Implicit connectives of algebraizable logics
- Propositional calculus under adjointness
- An algorithm for the class of pure implicational formulas
- Towards an algebraic semantics for implicatives
- On the algebraizability of the implicational fragment of abelian logic
- Algebraic analysis of demodalised analytic implication
- Calculi over minimal logic and nonembeddability of algebras
- Algebraic semantics for the (, )-fragment of IPC
- scientific article; zbMATH DE number 440121 (Why is no real title available?)
- Compatible Functions in Algebras Associated to Extensions of Positive Logic
- scientific article; zbMATH DE number 4158594 (Why is no real title available?)
- scientific article; zbMATH DE number 3965470 (Why is no real title available?)
- Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties
- The \(\mathcal{L}_n^m\)-propositional calculus.
- iH-propositional calculus
- On axiom systems of propositional calculi, XXIII
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4011579)
