Syllogisms in rudimentary linear logic, diagrammatically (Q2255209): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 1302.7111 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4888736 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness of an ancient logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4774002 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The structure of multiplicatives / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Advent of Formal Diagrammatic Reasoning Systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic correctness criterion for intuitionistic multiplicative proof-nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear diagrams for syllogisms (with relationals) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4742734 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3791120 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4842966 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bounded linear logic: A modular approach to polynomial-time computability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The structure of valid \(n\)-term syllogisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reasoning with sentences and diagrams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4224224 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Towards a model theory of diagrams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Euler’s visual logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2753849 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spider Diagrams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the insufficiency of linear diagrams for syllogisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5805951 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A diagrammatic inference system with Euler circles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A diagrammatic calculus of syllogisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4847218 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4540990 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: What is a syllogism? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A diagrammatic treatment of syllogistic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3321495 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2845530 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2848472 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Decidable Constraint Diagram Reasoning System / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Expressiveness of Spider Diagrams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagrammatic Representation and Inference / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4548196 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4737294 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2848474 / rank | |||
Normal rank |
Latest revision as of 16:57, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Syllogisms in rudimentary linear logic, diagrammatically |
scientific article |
Statements
Syllogisms in rudimentary linear logic, diagrammatically (English)
0 references
9 February 2015
0 references
syllogism
0 references
linear logic
0 references
diagrammatic reasoning
0 references
proof nets
0 references