Switch to: References

Add citations

You must login to add citations.
  1. Archimedean Classes in Integral Commutative Residuated Chains.Rostislav Horčík & Franco Montagna - 2009 - Mathematical Logic Quarterly 55 (3):320-336.
    This paper investigates a quasi-variety of representable integral commutative residuated lattices axiomatized by the quasi-identity resulting from the well-known Wajsberg identity → q ≤ → p if it is written as a quasi-identity, i. e., → q ≈ 1 ⇒ → p ≈ 1. We prove that this quasi-identity is strictly weaker than the corresponding identity. On the other hand, we show that the resulting quasi-variety is in fact a variety and provide an axiomatization. The obtained results shed some light (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Group Representation for Even and Odd Involutive Commutative Residuated Chains.Sándor Jenei - forthcoming - Studia Logica:1-42.
    For odd and for even involutive, commutative residuated chains a representation theorem is presented in this paper by means of direct systems of abelian o-groups equipped with further structure. This generalizes the corresponding result of J. M. Dunnabout finite Sugihara monoids.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Eq-Algebra-Based Fuzzy Type Theory And Its Extensions.Vilém Novák - 2011 - Logic Journal of the IGPL 19 (3):512-542.
    In this paper, we introduce a new algebra called ‘EQ-algebra’, which is an alternative algebra of truth values for formal fuzzy logics. It is specified by replacing implication as the main operation with a fuzzy equality. Namely, EQ-algebra is a semilattice endowed with a binary operation of fuzzy equality and a binary operation of multiplication. Implication is derived from the fuzzy equality and it is not a residuation with respect to multiplication. Consequently, EQ-algebras overlap with residuated lattices but are not (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Curry’s Paradox and Ω -Inconsistency.Andrew Bacon - 2013 - Studia Logica 101 (1):1-9.
    In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Mathematical Fuzzy Logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
    The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them. It concentrates on the propositional cases, and mentions the first-order systems more superficially. The main ideas, however, become clear already in this restricted setting.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties: Nonassociative Substructural Logics.Petr Cintula, Rostislav Horčík & Carles Noguera - 2013 - Review of Symbolic Logic 6 (3):394-423.
    Substructural logics extending the full Lambek calculus FL have largely benefited from a systematical algebraic approach based on the study of their algebraic counterparts: residuated lattices. Recently, a nonassociative generalization of FL has been studied by Galatos and Ono as the logic of lattice-ordered residuated unital groupoids. This paper is based on an alternative Hilbert-style presentation for SL which is almost MP -based. This presentation is then used to obtain, in a uniform way applicable to most substructural logics, a form (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations