215 search results - page 17 / 43 » Connecting a Logical Framework to a First-Order Logic Prover |
83
Voted
ICAIL
2003
ACM
15 years 4 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
ENTCS
2011
14 years 6 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
125
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
ECSQARU
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
97
Voted
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...