On the rules of intermediate logics (Q2501166): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-006-0320-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2000217311
@@ Property / OpenAlex ID: W2000217311 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent Calculi for Godel Logics -- a Survey
@@ Property / cites work: Hypersequent Calculi for Godel Logics -- a Survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+All intermediate logics with extra axioms in one variable, except eight, are not strongly <i>ω</i>-complete
+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 @@
+A Resolution/Tableaux Algorithm for Projective Approximations in IPC
+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 @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+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 @@
+Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
+Normal rank
@@ Property / cites work @@
+Q4774021
@@ Property / cites work: Q4774021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3472080
@@ Property / cites work: Q3472080 / rank @@
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+A partial analysis of modified realizability
@@ Property / cites work: A partial analysis of modified realizability / 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 @@
+Propositional Calculus and Realizability
@@ Property / cites work: Propositional Calculus and Realizability / 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 @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+Rules and arithmetics
@@ Property / cites work: Rules and arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071212
@@ Property / cites work: Q4071212 / rank @@
+Normal rank