Basic properties of the equivalence
Studia Logica 41 (1):17 - 40 (1982)
| Abstract | <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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesTang Yijie & Yan Xin (2008). The Contemporary Significance of Confucianism. Frontiers of Philosophy in China 3 (4):477 - 501.
Peter J. Taylor (1994). Shifting Frames: From Divided to Distributed Psychologies of Scientific Agents. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:304 - 310.
Katalin Bimbó (2007). $LE^{T}{Rightarrow}$ , $LR^{Circ}{Wedgesim}$ , LK and Cutfree Proofs. Journal of Philosophical Logic 36 (5):557 - 570.
H. M. Malm (1989). Commodification or Compensation: A Reply to Ketchum. Hypatia 4 (3):128 - 135.
J. L. Schellenberg (2005). The Hiddenness Argument Revisited (II). Religious Studies 41 (3):287 - 303.
P. X. Monaghan (2010). A Novel Interpretation of Plato's Theory of Forms. Metaphysica 11 (1):63-78.
H. E. Baber (1987). How Bad Is Rape? Hypatia 2 (2):125 - 138.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,428 of 549,113 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
