Add to ORKGThis article develops a logic with two fundamental components: objects and labels. We compare the properties of the two universes that can be constructed from these building blocks and show how they naturally resolve a class of linguistic paradoxes. We conclude with a application to modal logics involving context fields
Sentences about logic are often used to show that certain embedding expressions are hyperintensional...
Sentences about logic are often used to show that certain embedding expressions are hyperintensional...
International audienceWe present a modal language that includes explicit operators to count the numb...
This article develops a logic with two fundamental components: objects and labels. We compare the pr...
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
Specifications for complex engineering systems are typically decomposed into specifications for indi...
We propose an intuitive understanding of the statement: ‘an axiom (or: an axiomatic basis) determine...
The original interest of this article lies in existential import. It provides a broader view on the ...
The original interest of this article lies in existential import. It provides a broader view on the ...
AbstractWe show that two models M and N of linear logic collapse to the same extensional hierarchy o...
Linear logic differs from intuitionistic logic primarily in the absence of the structural rules of ...
Sentences about logic are often used to show that certain embedding expressions are hyperintensional...
Augment the propositional language with two modal operators: □ and ■. Define ⧫ to be the dual of ■, ...
Augment the propositional language with two modal operators: □ and ■. Define ⧫ to be the dual of ■, ...
Sentences about logic are often used to show that certain embedding expressions are hyperintensional...
Sentences about logic are often used to show that certain embedding expressions are hyperintensional...
International audienceWe present a modal language that includes explicit operators to count the numb...
This article develops a logic with two fundamental components: objects and labels. We compare the pr...
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
Specifications for complex engineering systems are typically decomposed into specifications for indi...
We propose an intuitive understanding of the statement: ‘an axiom (or: an axiomatic basis) determine...
The original interest of this article lies in existential import. It provides a broader view on the ...
The original interest of this article lies in existential import. It provides a broader view on the ...
AbstractWe show that two models M and N of linear logic collapse to the same extensional hierarchy o...
Linear logic differs from intuitionistic logic primarily in the absence of the structural rules of ...
Sentences about logic are often used to show that certain embedding expressions are hyperintensional...
Augment the propositional language with two modal operators: □ and ■. Define ⧫ to be the dual of ■, ...
Augment the propositional language with two modal operators: □ and ■. Define ⧫ to be the dual of ■, ...
Sentences about logic are often used to show that certain embedding expressions are hyperintensional...
Sentences about logic are often used to show that certain embedding expressions are hyperintensional...
International audienceWe present a modal language that includes explicit operators to count the numb...