Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Gradual Classical Logic for Attributed Objects

Ryuta Arisaka 1 
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about objects and their attributes.' This work inspects tacit agreements on assumptions about the relation between objects and their attributes, and studies a way of expressing them, presenting as the result what we term gradual logic in which the sense of truth gradually shifts. It extends classical logic instances with a new logical connective capturing the object-attribute relation. A formal semantics is presented. Decidability is proved. Para- consistent/epistemic/conditional/intensional/description/combined logics are compared.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Ryuta Arisaka Connect in order to contact the contributor
Submitted on : Wednesday, April 23, 2014 - 3:38:14 PM
Last modification on : Thursday, January 20, 2022 - 5:30:45 PM
Long-term archiving on: : Wednesday, July 23, 2014 - 12:25:39 PM


Files produced by the author(s)


  • HAL Id : hal-00969271, version 2
  • ARXIV : 1404.6036



Ryuta Arisaka. Gradual Classical Logic for Attributed Objects. 2014. ⟨hal-00969271v2⟩



Record views


Files downloads