Displaying similar documents to “Representation of metamorphosis grammar in logic grammar: Proof trees and their lengths.”

What Is the Sense in Logic and Philosophy of Language

Urszula Wybraniec-Skardowska (2020)

Bulletin of the Section of Logic

Similarity:

In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language...

On context-free rewriting with a simple restriction and its computational completeness

Tomáš Masopust, Alexander Meduna (2009)

RAIRO - Theoretical Informatics and Applications

Similarity:

This paper discusses context-free rewriting systems in which there exist two disjoint finite sets of rules, and a symbol, referred to as a condition of applicability, is attached to each rule in either of these two sets. In one set, a rule with a symbol attached to it is applicable if the attached symbol occurs in the current rewritten string while in the other set, such a rule is applicable if the attached symbol does not occur there. The present paper demonstrates that these rewriting...