From axioms to synthetic inference rules via focusing (Q2120974): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2022.103091
@@ Property / DOI: 10.1016/j.apal.2022.103091 / rank @@
-Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Focussing and proof construction
@@ Property / cites work: Focussing and proof construction / rank @@
+Normal rank
@@ Property / cites work @@
+On structuring proof search for first order linear logic
+Normal rank
@@ Property / cites work @@
+Focusing Strategies in the Sequent Calculus of Synthetic Connectives
+Normal rank
@@ Property / cites work @@
+A logical characterization of forward and backward chaining in the inverse method
+Normal rank
@@ Property / cites work @@
+Hypersequents and Systems of Rules
@@ Property / cites work: Hypersequents and Systems of Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent and Labelled Calculi for Intermediate Logics
+Normal rank
@@ Property / cites work @@
+Q4842975
@@ Property / cites work: Q4842975 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+GEOMETRISATION OF FIRST-ORDER LOGIC
@@ Property / cites work: GEOMETRISATION OF FIRST-ORDER LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168590
@@ Property / cites work: Q4168590 / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing and Polarization in Intuitionistic Logic
@@ Property / cites work: Focusing and Polarization in Intuitionistic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+Q4636050
@@ Property / cites work: Q4636050 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
+Normal rank
@@ Property / cites work @@
+Q4391451
@@ Property / cites work: Q4391451 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+Focused Labeled Proof Systems for Modal Logic
@@ Property / cites work: Focused Labeled Proof Systems for Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis beyond geometric theories: from rule systems to systems of rules
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for proof systems
@@ Property / cites work: A framework for proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2022.103091
@@ Property / DOI: 10.1016/J.APAL.2022.103091 / rank @@
+Normal rank