Adjoint interpretations of sentential calculi
Studia Logica 41 (4):359 - 374 (1982)
| Abstract | The aim of this paper is to give a general background and a uniform treatment of several notions of mutual interpretability. Sentential calculi are treated as preorders and logical invariants of adjoint situations, i.e. Galois connections are investigated. The class of all sentential calculi is treated as a quasiordered class.Some methods of the axiomatization of the M-counterparts of modal systems are based on particular adjoints. Also, invariants concerning adjoints for calculi with implication are pointed out. Finally, the notion of interpretability is generalized so that it may be applied to closure spaces as well. | |||||||||
| 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,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRyszard Wójcicki (1973). Matrix Approach in Methodology of Sentential Calculi. Studia Logica 32 (1):7 - 39.
W. Sadowski (1964). A Proof of Axiomatizability of Certainn-Valued Sentential Calculi. Studia Logica 15 (1).
Edward Baŀuka (1965). On Verification of the Expressions of Many-Valued Sentential Calculi. I. Studia Logica 17 (1):53 - 73.
J. Climent Vidal & J. Soliveres Tur (2008). Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders Between Sentential Logics. Notre Dame Journal of Formal Logic 49 (2):185-202.
Jerzy J. Błaszczuk (1984). Some Paraconsistent Sentential Calculi. Studia Logica 43 (1-2):51 - 61.
W. A. Pogorzelski (1962). The Adequacy of the Theories of Deductive Systems with Respect to Sentential Calculi. Studia Logica 13 (1).
Grzegorz Malinowski & Maciej Spasowski (1974). Dual Counterparts of Łukasiewicz's Sentential Calculi. Studia Logica 33 (2):153 - 162.
Jacek Hawranek & Jan Zygmunt (1984). On the Degree of Complexity of Sentential Logics.II. An Example of the Logic with Semi-Negation. Studia Logica 43 (4):405 - 413.
Tadeusz Prucnal (1974). Interpretations of Classical Implicational Sentential Calculus in Nonclassical Implicational Calculi. Studia Logica 33 (1):59 - 64.
Grzegorz Malinowski (1977). Degrees of Maximality of Łukasiewicz-Like Sentential Calculi. Studia Logica 36 (3):213 - 228.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,498 of 549,014 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
