DE eng

Search in the Catalogues and Directories

Page: 1 2
Hits 1 – 20 of 32

1
Grounding rules and (hyper-)isomorphic formulas
In: ISSN: 1448-5052 ; Australasian Journal of Logic ; https://hal.archives-ouvertes.fr/hal-02515104 ; Australasian Journal of Logic, Australasian Association for Logic, 2020, 17 (1), pp.70-80 (2020)
BASE
Show details
2
Dag Prawitz's theory of grounds ; La théorie des grounds de Dag Prawitz
Piccolomini d'Aragona, Antonio. - : HAL CCSD, 2019
In: https://hal.archives-ouvertes.fr/tel-02482320 ; Logic [math.LO]. Aix-Marseille Université (AMU); Sapienza University of Rome, 2019. English (2019)
BASE
Show details
3
The semantics of evidentials
Murray, Sarah E.. - Oxford : Oxford University Press, 2017
BLLDB
UB Frankfurt Linguistik
Show details
4
Logical aspects of computational linguistics : 8th international conference ; proceedings
Asher, Nicholas (Hrsg.); Soloviev, Sergei (Hrsg.). - Heidelberg [u.a.] : Springer, 2014
BLLDB
UB Frankfurt Linguistik
Show details
5
Elements of logical reasoning
Plato, Jan von. - Cambridge : Cambridge University Press, 2013
BLLDB
UB Frankfurt Linguistik
Show details
6
What logics mean : from proof theory to model-theoretic semantics
Garson, James W.. - Cambridge : Cambridge University Press, 2013
BLLDB
UB Frankfurt Linguistik
Show details
7
Manifestability and epistemic truth
In: Topoi. - Dordrecht [u.a.] : Springer Science + Business Media B.V. 31 (2012) 1, 17-26
BLLDB
OLC Linguistik
Show details
8
Anti-realist truth and truth-recognition
In: Topoi. - Dordrecht [u.a.] : Springer Science + Business Media B.V. 31 (2012) 1, 37-45
BLLDB
OLC Linguistik
Show details
9
Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
In: Topoi. - Dordrecht [u.a.] : Springer Science + Business Media B.V. 31 (2012) 1, 77-85
BLLDB
OLC Linguistik
Show details
10
Truth from a proof-theoretic perspective
In: Topoi. - Dordrecht [u.a.] : Springer Science + Business Media B.V. 31 (2012) 1, 47-57
BLLDB
OLC Linguistik
Show details
11
Truth as an epistemic notion
In: Topoi. - Dordrecht [u.a.] : Springer Science + Business Media B.V. 31 (2012) 1, 9-16
BLLDB
OLC Linguistik
Show details
12
Steps towards a proof-theoretical semantics
In: Topoi. - Dordrecht [u.a.] : Springer Science + Business Media B.V. 31 (2012) 1, 67-75
BLLDB
OLC Linguistik
Show details
13
Categorial grammar : logical syntax, semantics, and processing
Morrill, Glyn V.. - Oxford [u.a.] : Oxford Univ. Press, 2011
BLLDB
UB Frankfurt Linguistik
Show details
14
Proof-theoretic semantics for a natural language fragment
In: Linguistics and philosophy. - Dordrecht [u.a.] : Springer 33 (2010) 6, 447-477
BLLDB
OLC Linguistik
Show details
15
The nature of information: a relevant approach
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 175 (2010), 111-132
BLLDB
Show details
16
Modal logic for open minds
Benthem, Johan van. - Stanford, Calif. : CSLI Publ., Centre for the Study of Language and Information, 2010
BLLDB
UB Frankfurt Linguistik
Show details
17
Free semantics
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 39 (2010) 5, 511-529
BLLDB
Show details
18
Proof-theoretic semantics for subsentential phrases
In: Studia logica. - Dordrecht : Springer Science + Business Media 94 (2010) 3, 381-401
BLLDB
Show details
19
Radical anti-realism, Wittgenstein and the length of proofs
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 171 (2009) 3, 419-432
BLLDB
OLC Linguistik
Show details
20
Inferentialism and the categoricity problem: reply to Raatikainen
In: Analysis. - Oxford [u.a.] : Oxford Univ. Press 69 (2009) 3, 480-488
BLLDB
Show details

Page: 1 2

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