Search Sciweavers | Sciweavers

1101 search results - page 10 / 221

» Forcing in proof theory

click to vote

FOSSACS
2005
Springer

101views Software Engineering» more FOSSACS 2005»

A Simpler Proof Theory for Nominal Logic

14 years 1 months ago

Download homepages.inf.ed.ac.uk

Abstract. Nominal logic is a variant of ﬁrst-order logic equipped with a “freshname quantiﬁer” N and other features useful for reasoning about languages with bound names. I...

James Cheney

claim paper

Read More »

click to vote

ICLA
2009
Springer

97views Artificial Intelligence» more ICLA 2009»

Machine Checking Proof Theory: An Application of Logic to Logic

14 years 2 months ago

Download ali.cmi.ac.in

Rajeev Goré

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

81views Applied Computing» more BIRTHDAY 2005»

On the Proof Theory of the Existence Predicate

14 years 1 months ago

Download www.phil.uu.nl

Matthias Baaz, Rosalie Iemhoff

claim paper

Read More »

click to vote

CIE
2005
Springer

69views Applied Computing» more CIE 2005»

Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory

14 years 1 months ago

Download www.ims.nus.edu.sg

Denis R. Hirschfeldt

claim paper

Read More »

click to vote

LICS
2003
IEEE

85views Automated Reasoning» more LICS 2003»

A Proof Theory for Generic Judgments: An extended abstract

14 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers