Property |
Value |
dbo:abstract
|
- La sémantique de la théorie de la preuve est une approche de la sémantique formelle qui tente de localiser le sens des propositions et des connecteurs logiques non pas en termes d'interprétations, comme dans les approches tarskiennes de la sémantique, mais dans le rôle que joue la proposition ou le connecteur logique au sein du système formel. (fr)
- La sémantique de la théorie de la preuve est une approche de la sémantique formelle qui tente de localiser le sens des propositions et des connecteurs logiques non pas en termes d'interprétations, comme dans les approches tarskiennes de la sémantique, mais dans le rôle que joue la proposition ou le connecteur logique au sein du système formel. (fr)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 3319 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- La sémantique de la théorie de la preuve est une approche de la sémantique formelle qui tente de localiser le sens des propositions et des connecteurs logiques non pas en termes d'interprétations, comme dans les approches tarskiennes de la sémantique, mais dans le rôle que joue la proposition ou le connecteur logique au sein du système formel. (fr)
- La sémantique de la théorie de la preuve est une approche de la sémantique formelle qui tente de localiser le sens des propositions et des connecteurs logiques non pas en termes d'interprétations, comme dans les approches tarskiennes de la sémantique, mais dans le rôle que joue la proposition ou le connecteur logique au sein du système formel. (fr)
|
rdfs:label
|
- Sémantique de la théorie de la preuve (fr)
- Sémantique de la théorie de la preuve (fr)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |