Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q128577255, #quickstatements; #temporary_batch_1724808069555 |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: KtSeqC / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.18778/0138-0680.47.1.02 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2909351909 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3206928 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4247207 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Anti-intuitionism and paraconsistency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342094 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4925909 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intuitive semantics for first-degree entailments and `coupled trees' / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partiality and its dual / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4128539 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2721200 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5283965 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On partial and paraconsistent logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof analysis in modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3884093 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5636857 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4662881 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q128577255 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:34, 28 August 2024
scientific article; zbMATH DE number 6983878
Language | Label | Description | Also known as |
---|---|---|---|
English | Useful Four-Valued Extension of the Temporal Logic KtT4 |
scientific article; zbMATH DE number 6983878 |
Statements
Useful Four-Valued Extension of the Temporal Logic KtT4 (English)
0 references
23 November 2018
0 references
temporal logic
0 references
many-valued logic
0 references
bi-intuitionistic logic
0 references
paraconsistent logic
0 references
sequent calculus
0 references
duality
0 references
cut-redundancy
0 references
0 references