A typed resolution principle for deduction with conditional typing theory
type: Item
instance of: scholarly article
title: A typed resolution principle for deduction with conditional typing theory
zbMATH Open document ID: 1013.68536
DOI: 10.1016/0004-3702(94)00027-X
author: Tie-Cheng Wang
published in: Artificial Intelligence
publication date: 2003-02-04T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 1863781
describes a project that uses: ML
MaRDI profile type: Publication
cites work: A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
cites work: Q3728878
cites work: Non-resolution theorem proving
cites work: On Matrices with Connections
cites work: A resolution principle for a logic with restricted quantifiers
cites work: Q5679729
cites work: A more expressive formulation of many sorted logic
cites work: Q3495342
cites work: The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
cites work: Linear resolution with selection function
cites work: Eliminating dublication with the hyper-linking strategy
cites work: Mechanical Theorem-Proving by Model Elimination
cites work: A theory of type polymorphism in programming
cites work: A semantic backward chaining proof system
cites work: Non-Horn clause logic programming without contrapositives
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Using sophisticated models in resolution theorem proving
cites work: Computational aspects of an order-sorted logic with term declarations
cites work: Automated deduction by theory resolution
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: A mechanical solution of Schubert's steamroller by many-sorted resolution
cites work: Hierarchical deduction
cites work: Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
cites work: Q4296171
full work available at URL: 0004-3702(94)00027-x
OpenAlex ID: W1995495038
description: scientific article; zbMATH DE number 1863781