Four-Valued Logics BD and DM4: Expansions (Q4608553): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q129923534, #quickstatements; #temporary_batch_1728347902604 |
||
(4 intermediate revisions by 4 users not shown) | |||
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.46.1.2.04 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2801350543 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On finite-valued propositional logical calculi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The value of the four values / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3206928 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3018991 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3250590 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5613920 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classical negation and expansions of Belnap-Dunn logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4187792 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3898479 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bilattices and the theory of truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Connection between MV\(_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3268312 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2856048 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2804044 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Function Algebras on Finite Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2981250 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic semantics for modal logics I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3875897 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4289329 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalizing functional completeness in Belnap-Dunn logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nothing but the truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5812189 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Logic of “To‐morrow”<sup>1</sup> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modal system S4.4 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Certain extensions of modal system S4 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4159032 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3469079 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q129923534 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:22, 8 October 2024
scientific article; zbMATH DE number 6851647
Language | Label | Description | Also known as |
---|---|---|---|
English | Four-Valued Logics BD and DM4: Expansions |
scientific article; zbMATH DE number 6851647 |
Statements
Four-Valued Logics BD and DM4: Expansions (English)
0 references
21 March 2018
0 references
Belnap's four-valued logic
0 references
expansions and functional properties
0 references
lattices
0 references
0 references