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 29  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
Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information

Galliani, Pietro

Annals of pure and applied logic, 2012, Vol.163 (1), p.68-84 [Rivista Peer Reviewed]

Fulltext disponibile

2
Internal Categoricity in Arithmetic and Set Theory
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Internal Categoricity in Arithmetic and Set Theory

Väänänen, J ; Wang, T

Notre Dame journal of formal logic, 2015, Vol.56 (1), p.121-134 [Rivista Peer Reviewed]

Fulltext disponibile

3
Toward a Theory of Second-Order Consequence
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Toward a Theory of Second-Order Consequence

Rayo, Augustín ; Uzquiano, Gabriel

Notre Dame journal of formal logic, 1999, Vol.40 (3), p.315-325 [Rivista Peer Reviewed]

Fulltext disponibile

4
Definability of second order generalized quantifiers
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Definability of second order generalized quantifiers

Kontinen, Juha

Archive for Mathematical Logic, 2010-04, Vol.49 (3), p.379-398 [Rivista Peer Reviewed]

Fulltext disponibile

5
The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility

Mares, Edwin D

Notre Dame journal of formal logic, 2007-04, Vol.48 (2), p.237-251 [Rivista Peer Reviewed]

Fulltext disponibile

6
Decidability Results for Metric and Layered Temporal Logics
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Decidability Results for Metric and Layered Temporal Logics

Montanari, Angelo ; Policriti, Alberto

Notre Dame journal of formal logic, 1996-04, Vol.37 (2), p.260-282 [Rivista Peer Reviewed]

Fulltext disponibile

7
Canonical forking in AECs
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Canonical forking in AECs

Boney, Will ; Grossberg, Rami ; Kolesnikov, Alexei ; Vasey, Sebastien

Annals of pure and applied logic, 2016-07, Vol.167 (7), p.590-613 [Rivista Peer Reviewed]

Fulltext disponibile

8
Interassociativity Via Hyperidentities
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Interassociativity Via Hyperidentities

Movsisyan, Yu M ; Kirakosyan, G

Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences), 2019-07, Vol.54 (4), p.191-194 [Rivista Peer Reviewed]

Fulltext disponibile

9
On first-order expressibility of satisfiability in submodels
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On first-order expressibility of satisfiability in submodels

Saveliev, Denis I

Fulltext disponibile

10
Globally Medial Systems of Quasigroups
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Globally Medial Systems of Quasigroups

Gevorgyan, A R

Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences), 2019-03, Vol.54 (2), p.61-64 [Rivista Peer Reviewed]

Fulltext disponibile

Risutati 1 - 10 di 29  per Ricerca globale

Risultati 1 2 3 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (27)

Ricerca in corso nelle risorse remote ...