First order theory for literal-paraconsistent and literal-paracomplete matrices (Q3583806): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2001248027 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2767117 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4473260 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: XML data exchange / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Natural 3-valued logics—characterization and proof theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3909031 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4699336 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combining Valuations with Society Semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Literal-paraconsistent and literal-paracomplete matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On The Imaginary Logic of N. A. VASILIEV / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4777260 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal weakly-intuitionistic logics / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:00, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | First order theory for literal-paraconsistent and literal-paracomplete matrices |
scientific article |
Statements
First order theory for literal-paraconsistent and literal-paracomplete matrices (English)
0 references
18 August 2010
0 references
literals
0 references
paraconsistent matrices
0 references
paracomplete matrices
0 references
0 references