- 1.1k Downloads
Let σ be a basic JSM signature and 𝔍; be an L-structure of signature σ, where L is a PJ logic.Then 𝔍; is called a basic JSM-structure (BJSMstructure), if it is a model of the axioms (S1)—(S4) and (SA) of the basic JSM theory.
KeywordsPartial Order Induction Step Similarity Representation Structural Fragment Distinguishability Condition
Unable to display preview. Download preview PDF.