A qualitative fuzzy possibilistic logic (Q1344258): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q127212900, #quickstatements; #temporary_batch_1723585310344 |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342094 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4296748 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4279076 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3989936 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4022223 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5586197 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Many-Valued Modal Propositional Calculi / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q127212900 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:44, 13 August 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A qualitative fuzzy possibilistic logic |
scientific article |
Statements
A qualitative fuzzy possibilistic logic (English)
0 references
27 August 1995
0 references
The authors introduce for possibilistic logics two types of ``qualitative'', i.e. binary possibility-comparing connectives and give Kripke-style semantics for them, thus constituting two logics QFL and \(\text{QFL}'\). Furthermore they introduce a many-valued tense logic MTL with an almost obvious Kripke semantics, give a complete axiomatisation for MTL, and define translations between QFL and MTL as well as between \(\text{QFL}'\) and MTL, which have the essential property that the sets of 1-tautologies for all three logics coincide via these translations.
0 references
many-valued modal logics
0 references
Kripke-style semantics
0 references
many-valued tense logic
0 references
axiomatisation
0 references
0 references