Gradual Classical Logic for Attributed Objects

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.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/hal-00969271
Author Arisaka, Ryuta
Maintainer CCSD
Last Updated May 5, 2026, 13:34 (UTC)
Created May 5, 2026, 13:34 (UTC)
Identifier hal-00969271
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Proof search and reasoning with logic specifications (PARSIFAL) ; Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX) ; École polytechnique (X) ; Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X) ; Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
creator Arisaka, Ryuta
date 2014-05-05T00:00:00
harvest_object_id 2301b561-68cd-424a-b398-d25c57029e1a
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-08-20T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1404.6036
set_spec type:UNDEFINED