Sebastiaan A. and Medvedev Lattice - Free people check

(1 - 8 from 10

)

Sebastiaan A. Terwijn, Constructive Logic and the Medvedev Lattice -...

philpapers.org

We study the connection between factors of the Medvedev lattice and constructive logic. The algebraic properties of these factors determine logics lying in...

Sebastiaan A. Terwijn, On the Structure of the Medvedev Lattice -...

philpapers.org

We investigate the structure of the Medvedev lattice as a partial order. We prove that every interval in the lattice is either finite, in which case it is...

Works by Sebastiaan A. Terwijn - PhilPapers

philpapers.org

Andrea Sorbi & Sebastiaan A. Terwijn (2008). Intermediate Logics and Factors of the Medvedev Lattice. Annals of Pure and Applied Logic 155 (2):

Andrea Sorbi & Sebastiaan A. Terwijn, Intermediate logics and factors...

philpapers.org

We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them

[math ] On the structure of the Medvedev lattice

arxiv.org

Authors: Sebastiaan A. Terwijn. (Submitted on 21 Jun 2006). Abstract: We investigate the structure of the Medvedev lattice as a partial order. We prove that every ...

Kripke Models, Distributive Lattices, and Medvedev Degrees |...

link.springer.com

We define a simple variation of the standard Kripke semantics motivated by the connection between constructive logic and the Medvedev lattice. We show that...

Wikipedia: Intermediate logic - Wikipedia

Constructive Logic and the Medvedev Lattice, Sebastiaan A. Terwijn, Notre Dame J. Formal Logic, Volume 47, Number 1 (2006), Toshio Umezawa.

All web results to the name "Sebastiaan A."

Terwijn : Constructive Logic and the Medvedev Lattice - Project Euclid

projecteuclid.org

... Logic and the Medvedev Lattice. Sebastiaan A. Terwijn On the structure of the Medvedev lattice. Terwijn, Sebastiaan A., Journal of Symbolic Logic,

Related search requests for Sebastiaan A.

Koji Tominaga
Leen Torenvliet
Karsten Rinke

Andrea Sorbi

People
Forename "Sebastiaan" (372)
Name

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Sebastiaan A. and Medvedev Lattice Free People Check