From kripke models to algebraic counter-valuations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1397 LNAI, Issue , 1998, Pages 247-261

  Negri, Sara ^a   Von Plato, Jan ^a  

^a UNIVERSITY OF HELSINKI   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; FORMAL LOGIC;

ALGEBRAIC METHOD; COUNTER-MODELS; INTUITIONISTIC PROPOSITIONAL LOGIC; KRIPKE MODEL; NONLOCAL; POINT WISE;

ALGEBRA;

EID: 0040597732     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69778-0_26     Document Type: Conference Paper

References (11)

1. Dyckhoff, R. (1992) Contraction-free sequent calculi for intuitionistic logic, The Journal of Symbolic Logic, vol. 57, pp. 795-807.
2. Dyckhoff, R. and L. Pinto (1996) Implementation of a loop-free method for construction of counter-models for intuitionistic propositional logic, CS/96/8, Computer Science Division, St Andrews University.
3. Fitting, M. (1969) Intuitionistic Logic, Model Theory and Forcing, North-Holland, Amsterdam
4. Hudelmaier, J. (1989) Bounds for cut elimination in intuitionistic propositional logic, PhD thesis, University of Tübingen.
5. Hudelmaier, J. (1992) Bounds for cut elimination in intuitionistic propositional logic, Archive for Mathematical Logic, vol. 31, pp. 331-354.
6. Negri, S. (1997) Sequent calculus proof theory of intuitionistic apartness and order relations, Archive for Mathematical Logic, to appear.
7. Pinto, L. and R. Dyckhoff (1995) Loop-free construction of counter-models for intuitionistic propositional logic, in Behara et al. eds., Symposia Gaussiana, Conf. A, pp. 225-232, de Gruyter, Berlin.
8. von Plato, J. (1997) Positive Heyting algebras, manuscript.
9. Stoughton, A. (1996) Porgi: a Proof-Or-Refutation Generator for Intuitionistic propositional logic. CADE-13 Workshop on Proof Search in Type-Theoretic Languages, Rutgers University, pp. 109-116.
10. Troelstra, A. S. and D. van Dalen (1988) Constructivism in Mathematics, vol. 1, North-Holland, Amsterdam.
11. Troelstra, A. S. and H. Schwichtenberg (1996) Basic Proof Theory, Cambridge University Press.