DE eng

Search in the Catalogues and Directories

Hits 1 – 9 of 9

1
Anderson and Belnap's invitation to sin
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 39 (2010) 4, 453-472
BLLDB
Show details
2
Supervaluation fixed-point logics of truth
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 37 (2008) 5, 407-440
BLLDB
Show details
3
Synonymous logics: a correction
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 37 (2008) 1, 95-100
BLLDB
Show details
4
Synonymous logics
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 32 (2003) 3, 259-285
BLLDB
Show details
5
Simplified Lower Bounds for Propositional Proofs
In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 37 (1996) 4, 523-544
OLC Linguistik
Show details
6
Many-Valued Logics
In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 35 (1994) 3, 469
OLC Linguistik
Show details
7
Many-valued logic
In: Synthese library (Dordrecht [etc.]), p. 71-116
MPI für Psycholinguistik
Show details
8
Failure of interpolation in relevant logics
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 22 (1993) 5, 449-479
BLLDB
Show details
9
Temporal logic
Rescher, Nicholas; Urquhart, Alasdair. - Wien [u.a.] : Springer, 1971
IDS Mannheim
Show details

Catalogues
0
1
2
0
0
0
0
Bibliographies
5
0
0
0
0
0
0
0
1
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
0
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern