Switch to: References

Add citations

You must login to add citations.
  1. Twist-structures semantics for the logics of the hierarchy InPk.Fernando M. Ramos & Víctor L. Fernández - 2009 - Journal of Applied Non-Classical Logics 19 (2):183-209.
    In this work we define, in a general way, an algebraic semantics for the logics of the hierarchy InPk. This semantics is defined by means of an alternative construction, with respect to the usual algebraic semantics, and it is known in the literature as Twist-structures semantics. Besides that, we modify such construction, defining the so-called ω-Twist-structures here. This adaptation allows us to prove adequacy theorems for every logic of the hierarchy InPk.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
    ABSTRACT In this paper it is shown that a broad class of propositional logics can be interpreted in an equational logic based on fork algebras. This interpetability enables us to develop a fork-algebraic formalization of these logics and, as a consequence, to simulate non-classical means of reasoning with equational theories algebras.
    Download  
     
    Export citation  
     
    Bookmark