Switch to: References

Add citations

You must login to add citations.
  1. On the Structure of Bochvar Algebras.Stefano Bonzio & Michele Pra Baldi - forthcoming - Review of Symbolic Logic:1-27.
    Bochvar algebras consist of the quasivariety $\mathsf {BCA}$ playing the role of equivalent algebraic semantics for Bochvar (external) logic, a logical formalism introduced by Bochvar [4] in the realm of (weak) Kleene logics. In this paper, we provide an algebraic investigation of the structure of Bochvar algebras. In particular, we prove a representation theorem based on Płonka sums and investigate the lattice of subquasivarieties, showing that Bochvar (external) logic has only one proper extension (apart from classical logic), algebraized by the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Deciding active structural completeness.Michał M. Stronkowski - 2020 - Archive for Mathematical Logic 59 (1-2):149-165.
    We prove that if an n-element algebra generates the variety \ which is actively structurally complete, then the cardinality of the carrier of each subdirectly irreducible algebra in \ is at most \\cdot n^{2\cdot n}}\). As a consequence, with the use of known results, we show that there exist algorithms deciding whether a given finite algebra \ generates the structurally complete variety \\) in the cases when \\) is congruence modular or \\) is congruence meet-semidistributive or \ is a semigroup.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Singly generated quasivarieties and residuated structures.Tommaso Moraschini, James G. Raftery & Johann J. Wannenburg - 2020 - Mathematical Logic Quarterly 66 (2):150-172.
    A quasivariety of algebras has the joint embedding property (JEP) if and only if it is generated by a single algebra A. It is structurally complete if and only if the free ℵ0‐generated algebra in can serve as A. A consequence of this demand, called ‘passive structural completeness’ (PSC), is that the nontrivial members of all satisfy the same existential positive sentences. We prove that if is PSC then it still has the JEP, and if it has the JEP and (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations