A Resolution Calculus for First-Order Schemata

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2013-855
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Erratum To: Conflict Resolution: A First-Order Resolution Calculus With Decision Literals and Conflict-Driven Clause Learning

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2017English

First-Order Resolution Methods for Modal Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Completeness of the First-Order Functional Calculus

Journal of Symbolic Logic
PhilosophyLogic
1949English

Parsing Schemata for Grammars With Variable Number and Order of Constituents

2000English

A Domain-Theoretic Model for a Higher-Order Process Calculus

English

A Resolution Calculus for the Branching-Time Temporal Logic CTL

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2014English

Categorical Semantics for Higher Order Polymorphic Lambda Calculus

Journal of Symbolic Logic
PhilosophyLogic
1987English

Extracting the Resolution Algorithm From a Completeness Proof for the Propositional Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy