skip to main content
Lingue:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Graph-based Decision for Gödel-Dummett Logics
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Graph-based Decision for Gödel-Dummett Logics

Larchey-Wendling, Dominique ; Larchey-Wendling, Dominique

Journal of Automated Reasoning, 2007-04, Vol.38 (1), p.201-225 [Rivista Peer Reviewed]

Fulltext disponibile

2
Decision methods for linearly ordered Heyting algebras
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Decision methods for linearly ordered Heyting algebras

Dyckhoff, Roy ; Negri, Sara

Archive for Mathematical Logic, 2006-05, Vol.45 (4), p.411-422 [Rivista Peer Reviewed]

Fulltext disponibile

3
Standard Gödel Modal Logics
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Standard Gödel Modal Logics

Caicedo, Xavier ; Rodriguez, Ricardo O

Studia logica, 2010, Vol.94 (2), p.189-214 [Rivista Peer Reviewed]

Fulltext disponibile

4
Intensional Completeness in an Extension of Gödel/Dummett Logic
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Intensional Completeness in an Extension of Gödel/Dummett Logic

Matt Fairtlough ; Michael Mendler

Studia logica, 2003-02-01, Vol.73 (1), p.51-80 [Rivista Peer Reviewed]

Fulltext disponibile

Ricerca in corso nelle risorse remote ...