Conservative translations revisited (Q6156208): Difference between revisions

@@ Property / cites work @@
+Axioms for abstract model theory
@@ Property / cites work: Axioms for abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4078024
@@ Property / cites work: Q4078024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3435238
@@ Property / cites work: Q3435238 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic: consistency, contradiction and negation
+Normal rank
@@ Property / cites work @@
+New dimensions on translations between logics
@@ Property / cites work: New dimensions on translations between logics / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent logics and translations
@@ Property / cites work: Paraconsistent logics and translations / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative translations
@@ Property / cites work: Conservative translations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824395
@@ Property / cites work: Q3824395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3720554
@@ Property / cites work: Q3720554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332238
@@ Property / cites work: Q3332238 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+THE UBIQUITY OF CONSERVATIVE TRANSLATIONS
@@ Property / cites work: THE UBIQUITY OF CONSERVATIVE TRANSLATIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory of Nelson's paraconsistent logic: a uniform perspective
+Normal rank
@@ Property / cites work @@
+Conservative translations of four-valued logics in modal logic
+Normal rank
@@ Property / cites work @@
+Possible-translations semantics for some weak classically-based paraconsistent logics
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703802
@@ Property / cites work: Q2703802 / rank @@
+Normal rank
@@ Property / cites work @@
+The Gödel-Tarski Translations of Intuitionistic Propositional Formulas
+Normal rank
@@ Property / cites work @@
+Q5581592
@@ Property / cites work: Q5581592 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Why classical logic is privileged: justification of logics based on translatability
+Normal rank
@@ Property / cites work @@
+Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
+Normal rank
@@ Property / cites work @@
+REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
+Normal rank
@@ Property / cites work @@
+Categorical abstract algebraic logic: models of \(\pi\)-institutions
+Normal rank
@@ Property / cites work @@
+On meet-combination of logics
@@ Property / cites work: On meet-combination of logics / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ Property / cites work @@
+Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
+Normal rank
@@ Property / cites work @@
+Analysis and synthesis of logics. How to cut and paste reasoning systems
+Normal rank
@@ Property / cites work @@
+Modulated fibring and the collapsing problem
@@ Property / cites work: Modulated fibring and the collapsing problem / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6156208