Publication venue University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science
Publication date 01/01/2005
Field of study Get PDF
Publication venue University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science
Publication date 01/01/2005
Field of study Get PDF
Publication venue
Publication date 01/01/1989
Field of study Get PDF
Publication venue
Publication date 01/01/1989
Field of study Get PDF
Publication venue
Publication date 01/01/1989
Field of study Get PDF We show in this paper that all fragments of intuitionistic propositional logic based on a subset of the connective ∧, ∨, →, ¬ satisfy interpolation. Fragments containing ↔ or ¬¬ are briefly considered
Publication venue University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science
Publication date 01/01/2002
Field of study Get PDF
Publication venue University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science
Publication date 01/01/2002
Field of study Get PDF
Publication venue University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science
Publication date 01/01/2002
Field of study Get PDF
Publication venue University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science
Publication date 01/01/2002
Field of study Get PDF
Publication venue University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science
Publication date 01/01/2002
Field of study Get PDF