| Property |
Value |
| dbo:abstract
|
- En logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote[réf. nécessaire]. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien (en). (fr)
- En logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote[réf. nécessaire]. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien (en). (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 32488 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1984 (xsd:integer)
- 1995 (xsd:integer)
- 1996 (xsd:integer)
- 1998 (xsd:integer)
- 2000 (xsd:integer)
- 2002 (xsd:integer)
- 2003 (xsd:integer)
- 2004 (xsd:integer)
- 2005 (xsd:integer)
- 2007 (xsd:integer)
- 2008 (xsd:integer)
|
| prop-fr:annéePremièreÉdition
|
- 1982 (xsd:integer)
- 1996 (xsd:integer)
|
| prop-fr:art
|
- Paraconsistent logic (fr)
- Paraconsistent logic (fr)
|
| prop-fr:asin
| |
| prop-fr:auteur
|
- dbpedia-fr:Dov_Gabbay
- Solomon Feferman (fr)
- B. H. Slater (fr)
- Hiroshi Aoyama (fr)
- Walter Carnielli (fr)
- Koji Tanaka (fr)
- Graham Priest (fr)
- Hewitt, Carl (fr)
- Jean-Yves Béziau (fr)
|
| prop-fr:chapitre
|
- Toward Useful Type-Free Theories, I (fr)
- Toward Useful Type-Free Theories, I (fr)
|
| prop-fr:classe
| |
| prop-fr:consultéLe
|
- 2009-05-03 (xsd:date)
- 2010-06-17 (xsd:date)
|
| prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.101600 (xsd:double)
- 10.130500 (xsd:double)
|
| prop-fr:eprint
| |
| prop-fr:fr
|
- Carl Hewitt (fr)
- Alan Ross Anderson (fr)
- B. H. Slater (fr)
- Newton da Costa (fr)
- Walter Carnielli (fr)
- Lorenzo Peña (fr)
- Nicolai A. Vasiliev (fr)
- Nuel Belnap (fr)
- Bryson Brown (fr)
- Chris Mortensen (fr)
- Diderik Batens (fr)
- F. G. Asenjo (fr)
- Francisco Miró Quesada Cantuarias (fr)
- Itala M. L. D'Ottaviano (fr)
- J. Michael Dunn (fr)
- R. E. Jennings (fr)
- Richard Sylvan (fr)
- Robert K. Meyer (fr)
- Ross Brady (fr)
- Règle d'affaiblissement (fr)
- logique pertinente (fr)
- logiques à valeurs multiples (fr)
- mathématiques paracohérentes (fr)
- théorème de la déduction paracohérent (fr)
- élimination de la double négation (fr)
- Carl Hewitt (fr)
- Alan Ross Anderson (fr)
- B. H. Slater (fr)
- Newton da Costa (fr)
- Walter Carnielli (fr)
- Lorenzo Peña (fr)
- Nicolai A. Vasiliev (fr)
- Nuel Belnap (fr)
- Bryson Brown (fr)
- Chris Mortensen (fr)
- Diderik Batens (fr)
- F. G. Asenjo (fr)
- Francisco Miró Quesada Cantuarias (fr)
- Itala M. L. D'Ottaviano (fr)
- J. Michael Dunn (fr)
- R. E. Jennings (fr)
- Richard Sylvan (fr)
- Robert K. Meyer (fr)
- Ross Brady (fr)
- Règle d'affaiblissement (fr)
- logique pertinente (fr)
- logiques à valeurs multiples (fr)
- mathématiques paracohérentes (fr)
- théorème de la déduction paracohérent (fr)
- élimination de la double négation (fr)
|
| prop-fr:id
| |
| prop-fr:isbn
|
- 0 (xsd:integer)
- 1 (xsd:integer)
- 3 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:journal
| |
| prop-fr:jstor
| |
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lieu
|
- Berlin (fr)
- Cambridge (fr)
- Londre (fr)
- The Netherlands (fr)
- Francfort (fr)
- Baldock (fr)
- Malden, Massachusetts (fr)
- Berlin (fr)
- Cambridge (fr)
- Londre (fr)
- The Netherlands (fr)
- Francfort (fr)
- Baldock (fr)
- Malden, Massachusetts (fr)
|
| prop-fr:nom
|
- Brown (fr)
- Lewis (fr)
- Woods (fr)
- Marcos (fr)
- Brunner (fr)
- Priest (fr)
- Bremer (fr)
- Peña (fr)
- Coniglio (fr)
- Bertossi (fr)
- Béziau (fr)
- Carnielli (fr)
- Brown (fr)
- Lewis (fr)
- Woods (fr)
- Marcos (fr)
- Brunner (fr)
- Priest (fr)
- Bremer (fr)
- Peña (fr)
- Coniglio (fr)
- Bertossi (fr)
- Béziau (fr)
- Carnielli (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 4 (xsd:integer)
|
| prop-fr:numéroD'édition
| |
| prop-fr:pages
|
- 28 (xsd:integer)
- 75 (xsd:integer)
- 161 (xsd:integer)
- 193 (xsd:integer)
- 451 (xsd:integer)
|
| prop-fr:pagesTotales
|
- 249 (xsd:integer)
- 362 (xsd:integer)
- 512 (xsd:integer)
|
| prop-fr:passage
|
- 1 (xsd:integer)
- 95 (xsd:integer)
- 97 (xsd:integer)
- 287 (xsd:integer)
- 628 (xsd:integer)
|
| prop-fr:prénom
|
- Andreas (fr)
- David (fr)
- Jean-Yves (fr)
- John (fr)
- Manuel (fr)
- Graham (fr)
- Lorenzo (fr)
- Walter (fr)
- Bryson (fr)
- Marcelo E. (fr)
- J, (fr)
- Leopoldo, eds. (fr)
- Andreas (fr)
- David (fr)
- Jean-Yves (fr)
- John (fr)
- Manuel (fr)
- Graham (fr)
- Lorenzo (fr)
- Walter (fr)
- Bryson (fr)
- Marcelo E. (fr)
- J, (fr)
- Leopoldo, eds. (fr)
|
| prop-fr:périodique
|
- Springer-Verlag (fr)
- Springer-Verlag (fr)
|
| prop-fr:sousTitre
|
- conflict resolution in the abstract sciences (fr)
- conflict resolution in the abstract sciences (fr)
|
| prop-fr:série
| |
| prop-fr:texte
|
- Chris Mortensen (fr)
- Chris Mortensen (fr)
|
| prop-fr:titre
|
- Journal of Symbolic Logic (fr)
- A Companion to Philosophical Logic (fr)
- An Introduction to Paraconsistent Logics (fr)
- Anti-intuitionism and paraconsistency (fr)
- Frontiers of Paraconsistent Logic (fr)
- Handbook of Paraconsistency (fr)
- Handbook of Philosophical Logic, Volume 14 (fr)
- Handbook of Philosophical Logic, Volume 6 (fr)
- Inconsistency Tolerance (fr)
- Papers in Philosophical Logic (fr)
- Paraconsistent Logic (fr)
- Paraconsistent Logics? (fr)
- Paradox and paraconsistency (fr)
- Large-scale Organizational Computing requires Unstratified Reflection and Strong Paraconsistency (fr)
- Common sense for concurrency and inconsistency tolerance using Direct LogicTM and the Actor model (fr)
- Graham Priest's 'Dialetheism': Is it altogether true? (fr)
- LK, LJ, Dual Intuitionistic Logic, and Quantum Logic (fr)
- Journal of Symbolic Logic (fr)
- A Companion to Philosophical Logic (fr)
- An Introduction to Paraconsistent Logics (fr)
- Anti-intuitionism and paraconsistency (fr)
- Frontiers of Paraconsistent Logic (fr)
- Handbook of Paraconsistency (fr)
- Handbook of Philosophical Logic, Volume 14 (fr)
- Handbook of Philosophical Logic, Volume 6 (fr)
- Inconsistency Tolerance (fr)
- Papers in Philosophical Logic (fr)
- Paraconsistent Logic (fr)
- Paraconsistent Logics? (fr)
- Paradox and paraconsistency (fr)
- Large-scale Organizational Computing requires Unstratified Reflection and Strong Paraconsistency (fr)
- Common sense for concurrency and inconsistency tolerance using Direct LogicTM and the Actor model (fr)
- Graham Priest's 'Dialetheism': Is it altogether true? (fr)
- LK, LJ, Dual Intuitionistic Logic, and Quantum Logic (fr)
|
| prop-fr:titreChapitre
|
- Logic for Equivocators (fr)
- Logics of Formal Inconsistency (fr)
- On Paraconsistency (fr)
- Paraconsistent Logic. (fr)
- What is Paraconsistent Logic? (fr)
- Logic for Equivocators (fr)
- Logics of Formal Inconsistency (fr)
- On Paraconsistency (fr)
- Paraconsistent Logic. (fr)
- What is Paraconsistent Logic? (fr)
|
| prop-fr:titreLivre
|
- Coordination, Organizations, Institutions, and Norms in Agent Systems III (fr)
- Coordination, Organizations, Institutions, and Norms in Agent Systems III (fr)
|
| prop-fr:trad
|
- Chris Mortensen (fr)
- Double negative elimination (fr)
- Multi-valued logic (fr)
- Rule of weakening (fr)
- deduction theorem#Paraconsistent deduction theorem (fr)
- paraconsistent mathematics (fr)
- relevance logic (fr)
- Chris Mortensen (fr)
- Double negative elimination (fr)
- Multi-valued logic (fr)
- Rule of weakening (fr)
- deduction theorem#Paraconsistent deduction theorem (fr)
- paraconsistent mathematics (fr)
- relevance logic (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 3 (xsd:integer)
- 7 (xsd:integer)
- 24 (xsd:integer)
- 45 (xsd:integer)
- 49 (xsd:integer)
- 4780 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote[réf. nécessaire]. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien (en). (fr)
- En logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote[réf. nécessaire]. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien (en). (fr)
|
| rdfs:label
|
- Logica paraconsistente (it)
- Logique paracohérente (fr)
- Lògica paraconsistent (ca)
- Paraconsistente logica (nl)
- 矛盾許容論理 (ja)
- Logica paraconsistente (it)
- Logique paracohérente (fr)
- Lògica paraconsistent (ca)
- Paraconsistente logica (nl)
- 矛盾許容論理 (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
