Cut-elimination for quantified conditional logic (Q2363418): Difference between revisions

@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Satallax
@@ Property / describes a project that uses: Satallax / rank @@
+Normal rank
@@ 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/s10992-016-9403-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2431262575
@@ Property / OpenAlex ID: W2431262575 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution in type theory
@@ Property / cites work: Resolution in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+General models and extensionality
@@ Property / cites work: General models and extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+General models, descriptions, and choice in type theory
+Normal rank
@@ Property / cites work @@
+Analytic tableaux for higher-order logic with choice
+Normal rank
@@ Property / cites work @@
+Q4263170
@@ Property / cites work: Q4263170 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075241
@@ Property / cites work: Q3075241 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining and automating classical and non-classical logics in classical higher-order logics
+Normal rank
@@ Property / cites work @@
+Cut-elimination for simple type theory with an axiom of choice
+Normal rank
@@ Property / cites work @@
+Higher-order semantics and extensionality
@@ Property / cites work: Higher-order semantics and extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086775
@@ Property / cites work: Q3086775 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-Simulation and Impredicativity
@@ Property / cites work: Cut-Simulation and Impredicativity / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding and automating conditional logics in classical higher-order logic
+Normal rank
@@ Property / cites work @@
+Reasoning with higher-order abstract syntax in a logical framework
+Normal rank
@@ Property / cites work @@
+Q3086787
@@ Property / cites work: Q3086787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4619819
@@ Property / cites work: Q4619819 / rank @@
+Normal rank
@@ Property / cites work @@
+Multimodal and intuitionistic logics in simple type theory
+Normal rank
@@ Property / cites work @@
+Quantified multimodal logics in simple type theory
+Normal rank
@@ Property / cites work @@
+The higher-order prover \textsc{Leo}-II
@@ Property / cites work: The higher-order prover \textsc{Leo}-II / rank @@
+Normal rank
@@ Property / cites work @@
+First-order conditional logic for default reasoning revisited
+Normal rank
@@ Property / cites work @@
+Q5282959
@@ Property / cites work: Q5282959 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic conditional logic
@@ Property / cites work: Basic conditional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Satallax: An Automatic Higher-Order Prover
@@ Property / cites work: Satallax: An Automatic Higher-Order Prover / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic Tableaux for Simple Type Theory and its First-Order Fragment
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+An Unsolvable Problem of Elementary Number Theory
@@ Property / cites work: An Unsolvable Problem of Elementary Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A first-order conditional logic for prototypical properties
+Normal rank
@@ Property / cites work @@
+On first-order conditional logics
@@ Property / cites work: On first-order conditional logics / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation for first order S5
@@ Property / cites work: Interpolation for first order S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional models for the theory of types
@@ Property / cites work: Intensional models for the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
+Normal rank
@@ Property / cites work @@
+Q3900019
@@ Property / cites work: Q3900019 / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent calculus and a theorem prover for standard conditional logics
+Normal rank
@@ Property / cites work @@
+Generic Modal Cut Elimination Applied to Conditional Logics
+Normal rank
@@ Property / cites work @@
+Hauptsatz for higher order logic
@@ Property / cites work: Hauptsatz for higher order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Sufficient conditions for cut elimination with complexity analysis
+Normal rank
@@ Property / cites work @@
+Syntactical and semantical properties of simple type theory
+Normal rank
@@ Property / cites work @@
+A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
@@ Property / cites work: A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
+Normal rank
@@ Property / cites work @@
+A proof of cut-elimination theorem in simple type-theory
+Normal rank
@@ Property / cites work @@
+Q5822069
@@ Property / cites work: Q5822069 / rank @@
+Normal rank
@@ Property / cites work @@
+An example on the fundamental conjecture of \(GLC\)
+Normal rank
@@ Property / cites work @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2363418