Sciweavers

483 search results - page 14 / 97

» Intuitionistic hybrid logic

16

TLCA
1993
Springer

85views Theoretical Computer Science» more TLCA 1993»

A Term Calculus for Intuitionistic Linear Logic

13 years 11 months ago

A Term Calculus for Intuitionistic Linear Logic

Download www.dpmms.cam.ac.uk

P. N. Benton, Gavin M. Bierman, Valeria de Paiva, ...

claim paper

Read More »

11

ISMIS
1987
Springer

61views Artificial Intelligence» more ISMIS 1987»

Resolution for Intuitionistic Logic

13 years 11 months ago

Resolution for Intuitionistic Logic

Download comet.lehman.cuny.edu

Melvin Fitting

claim paper

Read More »

22

SLP
1994

68views more SLP 1994»

A PROLOG Interpreter for First-Order Intuitionistic Logic

13 years 8 months ago

A PROLOG Interpreter for First-Order Intuitionistic Logic

Download www.cs.rutgers.edu

L. Thorne McCarty, Leon A. Shklar

claim paper

Read More »

20

APAL
2010

175views more APAL 2010»

Admissible rules in the implication-negation fragment of intuitionistic logic

13 years 7 months ago

Admissible rules in the implication-negation fragment of intuitionistic logic

Download www.math.unibe.ch

Petr Cintula, George Metcalfe

claim paper

Read More »

19

APAL
2007

119views more APAL 2007»

An algebraic approach to subframe logics. Intuitionistic case

13 years 7 months ago

An algebraic approach to subframe logics. Intuitionistic case

Download www.math.nmsu.edu

We develop duality between nuclei on Heyting algebras and certain binary relations on Heyting spaces. We show that these binary relations are in 1–1 correspondence with subframe...

Guram Bezhanishvili, Silvio Ghilardi

claim paper

Read More »

« Prev « First page 14 / 97 Last » Next »