Basic properties of the equivalence

Studia Logica 41 (1):17 - 40 (1982)
<span class='Hi'></span> In this paper we investigate some basic semantic and syntactic conditions characterizing the equivalence connective.<span class='Hi'></span> In particular we define three basic classes of algebras:<span class='Hi'></span> the class of weak equivalential algebras,<span class='Hi'></span> the class of equivalential algebras and the class of regular equivalential algebras <span class='Hi'></span>(see <span class='Hi'></span>[12]<span class='Hi'></span>).Weak equivalential algebras can be used to study purely equivalential fragments of relevant logics and strict equivalential fragments of some modal logics <span class='Hi'></span>(for investigations of strict implicational fragments of modal logics see <span class='Hi'></span>[20]<span class='Hi'></span>).<span class='Hi'></span> Equivalential algebras are suitable to study purely equivalential fragment of BCI and BCK logic <span class='Hi'></span>(see <span class='Hi'></span>[21]<span class='Hi'></span>, p.<span class='Hi'></span> 316)<span class='Hi'></span>. A subclass of the class of regular equivalential algebras is suitable to study equivalential fragments of ukasiewicz logics.<span class='Hi'></span> Some subvarieties of the class of regular equivalential algebras provide natural semantics for equivalential fragments of the intuitionistic prepositional logic and various intermediate logics <span class='Hi'></span>(see <span class='Hi'></span>[13]<span class='Hi'></span>).
Keywords No keywords specified (fix it)
Categories (categorize this paper)
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 9,360
External links
  • Through your library Configure
    References found in this work BETA
    Robert E. Tax (1973). On the Intuitionistic Equivalential Calculus. Notre Dame Journal of Formal Logic 14 (4):448-456.
    Citations of this work BETA

    No citations found.

    Similar books and articles

    Monthly downloads

    Added to index


    Total downloads

    5 ( #178,779 of 1,088,810 )

    Recent downloads (6 months)


    How can I increase my downloads?

    My notes
    Sign in to use this feature

    Start a new thread
    There  are no threads in this forum
    Nothing in this forum yet.