What is an inference rule? (Q4032879): Difference between revisions

@@ Property / cites work @@
+The Semantics of First Degree Entailment
@@ Property / cites work: The Semantics of First Degree Entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple consequence relations
@@ Property / cites work: Simple consequence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+Logical equations and admissible rules of inference with parameters in modal provability logics
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC
+Normal rank
@@ Property / cites work @@
+BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q3026978
@@ Property / cites work: Q3026978 / rank @@
+Normal rank
@@ Property / cites work @@
+What is Logic?
@@ Property / cites work: What is Logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Derivability of admissible rules
@@ Property / cites work: Derivability of admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Reduction of second‐order logic to modal logic
@@ Property / cites work: Reduction of second‐order logic to modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+The logical consequence relation of propositional tense logic
+Normal rank
@@ Property / cites work @@
+Classifying the computational complexity of problems
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank