Admissibility and refutation: some characterisations of intermediate logics (Q481867): Difference between revisions

@@ Property / cites work @@
+Refutation calculi for certain intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+A refutation theory
@@ Property / cites work: A refutation theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3475248
@@ Property / cites work: Q3475248 / rank @@
+Normal rank
@@ Property / cites work @@
+Extendible formulas in two variables in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+The disjunction property of intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules in the implication-negation fragment of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
+Normal rank
@@ Property / cites work @@
+Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+A mind of a non-countable set of ideas
@@ Property / cites work: A mind of a non-countable set of ideas / rank @@
+Normal rank
@@ Property / cites work @@
+A note on admissible rules and the disjunction property in intermediate logics
+Normal rank
@@ Property / cites work @@
+The method of axiomatic rejection for the intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Refutation systems in modal logic
@@ Property / cites work: Refutation systems in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Extensions: Admissible Rules via Semantics
+Normal rank
@@ Property / cites work @@
+On unification and admissible rules in Gabbay-de Jongh logics
+Normal rank
@@ Property / cites work @@
+Q4836217
@@ Property / cites work: Q4836217 / rank @@
+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 @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+A(nother) characterization of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Intermediate logics and Visser's rules
@@ Property / cites work: Intermediate logics and Visser's rules / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Modal Logics
@@ Property / cites work: Admissible Rules of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of Admissible Rules of Lukasiewicz Logic
@@ Property / cites work: Bases of Admissible Rules of Lukasiewicz Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunction and existence under implication in elementary intuitionistic formalisms
+Normal rank
@@ Property / cites work @@
+Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5805951
@@ Property / cites work: Q5805951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813911
@@ Property / cites work: Q5813911 / rank @@
+Normal rank
@@ Property / cites work @@
+On maximal intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Q3472080
@@ Property / cites work: Q3472080 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivability of admissible rules
@@ Property / cites work: Derivability of admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+On two problems of Harvey Friedman
@@ Property / cites work: On two problems of Harvey Friedman / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4489067
@@ Property / cites work: Q4489067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3987719
@@ Property / cites work: Q3987719 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic refutations against finite models in modal logic
+Normal rank
@@ Property / cites work @@
+Q4484080
@@ Property / cites work: Q4484080 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Socratic procedures
@@ Property / cites work: Intuitionistic Socratic procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of L-decidability of Lewis system S5
@@ Property / cites work: Proof of L-decidability of Lewis system S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of rejected propositions. I
@@ Property / cites work: Theory of rejected propositions. I / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of rejected propositions. II
@@ Property / cites work: The theory of rejected propositions. II / rank @@
+Normal rank
@@ Property / cites work @@
+On Jaskowski-type semantics for the intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ Property / cites work @@
+Q4820597
@@ Property / cites work: Q4820597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4065518
@@ Property / cites work: Q4065518 / rank @@
+Normal rank