Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0168-0072(90)90055-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2048520665
@@ Property / OpenAlex ID: W2048520665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620598
@@ Property / cites work: Q5620598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics Between S 4 and S 5
@@ Property / cites work: Modal Logics Between S 4 and S 5 / rank @@
+Normal rank
@@ Property / cites work @@
+An incomplete logic containing S4
@@ Property / cites work: An incomplete logic containing S4 / rank @@
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for modal logics I
@@ Property / cites work: Algebraic semantics for modal logics I / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic treatment of the methodology of elementary deductive systems
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q4133602
@@ Property / cites work: Q4133602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3950540
@@ Property / cites work: Q3950540 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules for logics containing S4.3
@@ Property / cites work: Admissible rules for logics containing S4.3 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the admissibility problem in layer-finite logics
+Normal rank
@@ Property / cites work @@
+A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Bases of admissible rules of the logics S4 and Int
+Normal rank
@@ Property / cites work @@
+Elementary theories of free topo-Boolean and pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q3727965
@@ Property / cites work: Q3727965 / rank @@
+Normal rank
@@ Property / cites work @@
+BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC
+Normal rank
@@ Property / cites work @@
+Q3745885
@@ Property / cites work: Q3745885 / rank @@
+Normal rank
@@ Property / cites work @@
+Equations in free topoboolean algebra
@@ Property / cites work: Equations in free topoboolean algebra / rank @@
+Normal rank
@@ Property / cites work @@
+DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
+Normal rank
@@ Property / cites work @@
+Semantic analysis of tense logics
@@ Property / cites work: Semantic analysis of tense logics / rank @@
+Normal rank
@@ Property / cites work @@
+An incompleteness theorem in modal logic
@@ Property / cites work: An incompleteness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
+Normal rank
@@ Property / cites work @@
+Q4198474
@@ Property / cites work: Q4198474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3855179
@@ Property / cites work: Q3855179 / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on the consequence operation in sentential logics
+Normal rank