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

Risutati 1 - 10 di 21  per Ricerca globale

Risultati 1 2 3 next page
Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION

DYCKHOFF, ROY

The Journal of symbolic logic, 2018-12, Vol.83 (4), p.1680-1682 [Rivista Peer Reviewed]

Fulltext disponibile

2
INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS

ROY DYCKHOFF

The bulletin of symbolic logic, 2019-06-01, Vol.25 (2), p.196-207 [Rivista Peer Reviewed]

Fulltext disponibile

3
GEOMETRISATION OF FIRST-ORDER LOGIC
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

GEOMETRISATION OF FIRST-ORDER LOGIC

ROY DYCKHOFF ; SARA NEGRI

The bulletin of symbolic logic, 2015-06-01, Vol.21 (2), p.123-163 [Rivista Peer Reviewed]

Fulltext disponibile

4
A Note on Harmony
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

A Note on Harmony

Nissim Francez ; Roy Dyckhoff

Journal of philosophical logic, 2012-06-01, Vol.41 (3), p.613-628 [Rivista Peer Reviewed]

Fulltext disponibile

5
Proof analysis in intermediate logics
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Proof analysis in intermediate logics

Dyckhoff, Roy ; Negri, Sara

Archive for Mathematical Logic, 2012-02, Vol.51 (1), p.71-92 [Rivista Peer Reviewed]

Fulltext disponibile

6
Proof-theoretic semantics for a natural language fragment
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Proof-theoretic semantics for a natural language fragment

Nissim Francez ; Roy Dyckhoff

Linguistics and philosophy, 2010-01-01, Vol.33 (6), p.447-477 [Rivista Peer Reviewed]

Fulltext disponibile

7
Analyticity, Balance and Non-admissibility of Cut in Stoic Logic
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Analyticity, Balance and Non-admissibility of Cut in Stoic Logic

Bobzien, Susanne ; Dyckhoff, Roy

Studia logica, 2019-04-01, Vol.107 (2), p.375 [Rivista Peer Reviewed]

Fulltext disponibile

8
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel–McKinsey–Tarski embedding
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel–McKinsey–Tarski embedding

Dyckhoff, Roy ; Negri, Sara

Journal of logic and computation, 2016-02, Vol.26 (1), p.169-187 [Rivista Peer Reviewed]

Fulltext disponibile

9
Contraction-Free Sequent Calculi for Intuitionistic Logic
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Contraction-Free Sequent Calculi for Intuitionistic Logic

Roy Dyckhoff

The Journal of symbolic logic, 1992-09-01, Vol.57 (3), p.795-807 [Rivista Peer Reviewed]

Fulltext disponibile

10
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

Risutati 1 - 10 di 21  per Ricerca globale

Risultati 1 2 3 next page

Ricerca in corso nelle risorse remote ...