Inter-Model Connectives and Substructural Logics (Q5259665): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On the ternary relation and conditionality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2744124 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Kripke-style semantics for R-mingle using a binary accessibility relation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3797161 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categorial inference and modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classical relevant logics. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4805593 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic epistemic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3772189 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4323644 / rank | |||
Normal rank |
Latest revision as of 09:49, 10 July 2024
scientific article; zbMATH DE number 6451655
Language | Label | Description | Also known as |
---|---|---|---|
English | Inter-Model Connectives and Substructural Logics |
scientific article; zbMATH DE number 6451655 |
Statements
Inter-Model Connectives and Substructural Logics (English)
0 references
29 June 2015
0 references
pair models
0 references
substrucutral logics
0 references
ternary semantics
0 references