Formal axiomatic theories based on a three-valued logic (Q937906): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4693184 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4360106 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4756727 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5812175 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extensions of some theorems of Gödel and Church / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5812189 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sequents in many valued logic I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sequents in many valued logic II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4041548 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3768917 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4511322 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dual realizability in symmetric logic / rank | |||
Normal rank |
Latest revision as of 14:45, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal axiomatic theories based on a three-valued logic |
scientific article |
Statements
Formal axiomatic theories based on a three-valued logic (English)
0 references
18 August 2008
0 references