Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Edwin D. Mares / rank | |||
Property / author | |||
Property / author: Edwin D. Mares / 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.1007/978-3-319-29300-4_7 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2469645549 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kripke models for linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4085699 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4297115 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4951952 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logical Pluralism / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4940716 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantics for dual and symmetric combinatory calculi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4459274 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The semantics of entailment omega / 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: Relevant predication. I: The formal theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Contradictory information: too much of a good thing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinators and structurally free logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Handbook of philosophical logic. Vol. 6 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Models for entailment / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3797142 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Light linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2845524 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: General information in relevant logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The nature of information: a relevant approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4940727 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5559220 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4732137 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4495851 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantics for relevant logics / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 05:45, 23 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic |
scientific article |
Statements
Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (English)
0 references
7 August 2020
0 references
linear logic
0 references
proof theory
0 references
epistemic logic
0 references
modus ponens
0 references
relevance logic
0 references