Relational semantics and a relational proof system for full Lambek calculus (Q4212926): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Lambek calculus and its relational semantics: Completeness and incompleteness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relational proof system for relevant logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics without the contraction rule / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logic at work. Essays dedicated to the memory of Helena Rasiowa / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rough sets / rank | |||
Normal rank |
Latest revision as of 16:32, 28 May 2024
scientific article; zbMATH DE number 1208094
Language | Label | Description | Also known as |
---|---|---|---|
English | Relational semantics and a relational proof system for full Lambek calculus |
scientific article; zbMATH DE number 1208094 |
Statements
Relational semantics and a relational proof system for full Lambek calculus (English)
0 references
23 November 1999
0 references
full Lambek calculus
0 references
relational semantics
0 references
proof theory
0 references
relational logic
0 references
Kripke-style semantics
0 references
0 references