The SCEAS System
| |||||||

## Search the dblp DataBase
Jan von Plato:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Sara Negri, Jan von Plato
**From Kripke Models to Algebraic Counter-Valuations.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1998, pp:247-261 [Conf] - Jan von Plato
**Organization and Development of a Constructive Axiomatization.**[Citation Graph (0, 0)][DBLP] TYPES, 1995, pp:288-296 [Conf] - Sara Negri, Jan von Plato, Thierry Coquand
**Proof-theoretical analysis of order relations.**[Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:3, pp:297-310 [Journal] - Jan von Plato
**The Axioms of Constructive Geometry.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1995, v:76, n:2, pp:169-200 [Journal] - Sara Negri, Jan von Plato
**Cut elimination in the presence of axioms.**[Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1998, v:4, n:4, pp:418-435 [Journal] - Sara Negri, Jan von Plato
**Sequent Calculus in Natural Deduction Style.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 2001, v:66, n:4, pp:1803-1816 [Journal] - Jan von Plato
**A Constructive Approach to Sylvester's Conjecture.**[Citation Graph (0, 0)][DBLP] J. UCS, 2005, v:11, n:12, pp:2165-2178 [Journal] - Jan von Plato
**A Problem of Normal Form in Natural Deduction.**[Citation Graph (0, 0)][DBLP] Math. Log. Q., 2000, v:46, n:1, pp:121-124 [Journal] - Jan von Plato
**Translations from natural deduction to sequent calculus.**[Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:435-443 [Journal] - Jan von Plato
**Normal derivability in modal logic.**[Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:6, pp:632-638 [Journal] - Sara Negri, Jan von Plato
**Proof systems for lattice theory.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2004, v:14, n:4, pp:507-526 [Journal] - Jan von Plato
**Order in open intervals of computable reals.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1999, v:9, n:1, pp:103-108 [Journal] - Jan von Plato
**Skolem's Discovery of Gödel-Dummett Logic.**[Citation Graph (0, 0)][DBLP] Studia Logica, 2003, v:73, n:1, pp:153-157 [Journal] **A proof of Gentzen's Hauptsatz without multicut.**[Citation Graph (, )][DBLP]**Natural deduction with general elimination rules.**[Citation Graph (, )][DBLP]**In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs.**[Citation Graph (, )][DBLP]**Gentzen's Proof of Normalization for Natural Deduction.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |