5378 search results - page 93 / 1076 » Base Logics in Argumentation |
150
click to vote
ENTCS
2006
15 years 6 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
157
click to vote
PPDP
2007
Springer
16 years 3 days ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
164
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
184
click to vote
SLOGICA
1998
15 years 5 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
155
click to vote
TABLEAUX
1997
Springer
15 years 10 months ago
1997
Springer
We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an...