Studia Logica 41 (4):359 - 374 (1982)
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||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Matrix Approach in Methodology of Sentential Calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.
Interpretations of Classical Implicational Sentential Calculus in Nonclassical Implicational Calculi.Tadeusz Prucnal - 1974 - Studia Logica 33 (1):59 - 64.
On the Degree of Complexity of Sentential Logics.II. An Example of the Logic with Semi-Negation.Jacek Hawranek & Jan Zygmunt - 1984 - Studia Logica 43 (4):405 - 413.
The Adequacy of the Theories of Deductive Systems with Respect to Sentential Calculi.W. A. Pogorzelski - 1962 - Studia Logica 13 (1):129-131.
Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders Between Sentential Logics.J. Climent Vidal & J. Soliveres Tur - 2008 - Notre Dame Journal of Formal Logic 49 (2):185-202.
On Verification of the Expressions of Many-Valued Sentential Calculi. I.Edward Baŀuka - 1965 - Studia Logica 17 (1):53 - 73.
A Proof of Axiomatizability of Certainn-Valued Sentential Calculi.W. Sadowski - 1964 - Studia Logica 15 (1):36-36.
Degrees of Maximality of Łukasiewicz-Like Sentential Calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Added to index2009-01-28
Total downloads28 ( #181,969 of 2,164,575 )
Recent downloads (6 months)5 ( #62,460 of 2,164,575 )
How can I increase my downloads?