issues
search
gruninger
/
Common-Logic
Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
8
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update README.md
#56
greenTara
opened
8 years ago
0
lack of syntax for specifying intended discourse presupposition
#55
greenTara
opened
9 years ago
1
semantics of equations
#54
fabianneuhaus
opened
9 years ago
0
core interpretations and (discourse) presuppositions may lead to empty set of core interpretations
#53
fabianneuhaus
opened
9 years ago
0
def of core interpretation
#52
fabianneuhaus
closed
9 years ago
2
Functional syntax of qualified statements should not use lamda, but term.
#51
fabianneuhaus
opened
9 years ago
0
Signature morphisms
#50
fabianneuhaus
opened
9 years ago
0
Importations between dialects
#49
fabianneuhaus
opened
9 years ago
4
Biconditional vs. equivalence
#48
fabianneuhaus
opened
10 years ago
0
definition of Variant in WD
#47
fabianneuhaus
opened
10 years ago
5
Text to be deleted in WD 6.1.4
#46
fabianneuhaus
opened
10 years ago
0
Inconsistency between Definitions 3.12 and 3.22 for "individual" and "term"
#45
greenTara
opened
11 years ago
2
Named sentences
#44
tillmo
opened
11 years ago
24
Specify filename extensions for the different CL dialects
#43
clange
opened
11 years ago
0
Restriction of Interpretation Clarification
#42
greenTara
opened
11 years ago
0
Network identifiers of CL documents (and of texts inside them)
#41
clange
opened
11 years ago
4
Introduce top-level notion of "CL document" (parent of "CL text")
#40
clange
opened
11 years ago
2
Error in CLIF grammar (A.2.3.11 Phrase)
#39
clange
closed
11 years ago
1
Specify media types for the different CL dialects
#38
clange
opened
11 years ago
4
CL Identifiers
#37
greenTara
opened
11 years ago
2
Datatypes
#36
greenTara
opened
11 years ago
0
Circular Imports
#35
greenTara
opened
11 years ago
12
Query language for Common Logic
#34
greenTara
opened
11 years ago
0
Structural Descriptive Names
#33
greenTara
opened
11 years ago
0
More Logical Connectives
#32
greenTara
opened
11 years ago
0
New concrete dialects
#31
greenTara
opened
11 years ago
0
Proof Theory
#30
greenTara
opened
11 years ago
0
Structural Axioms
#29
greenTara
opened
11 years ago
0
Numerical quantifiers
#28
greenTara
opened
11 years ago
6
Questions about segregated dialects and interoperability
#27
greenTara
opened
11 years ago
0
More general approach to annotation of cl-texts
#26
greenTara
opened
11 years ago
1
Semantics of cl-module
#25
greenTara
opened
11 years ago
2
Modification of semantics to allow the existence of definitional extensions in CL
#24
greenTara
opened
11 years ago
11
Namespaces/Prefixing
#23
greenTara
opened
11 years ago
9
Correction and completion of the XML syntax in 24707 Annex C
#22
greenTara
opened
11 years ago
0
CLIF comment punctuation
#21
greenTara
opened
11 years ago
2
Comments on bindings in XCL
#20
greenTara
closed
11 years ago
2
CGIF grammar consistency
#19
greenTara
opened
11 years ago
0
CGIF grammar redundancy
#18
greenTara
opened
11 years ago
0
XCL Comments
#17
greenTara
closed
11 years ago
2
Module syntax in XCL not in sync with abstract syntax
#16
greenTara
closed
11 years ago
1
Import as child of text in XCL
#15
greenTara
closed
11 years ago
1
Sequence markers missing from XCL
#14
greenTara
closed
11 years ago
1
TBD in XCL Example
#13
greenTara
closed
11 years ago
1
Colon in CLIF reserved names
#12
greenTara
opened
11 years ago
0
Guarded Quantifiers
#11
greenTara
opened
11 years ago
0
Ambiguous production rule in CLIF grammar (A.2.3.11 Phrase)
#10
greenTara
opened
11 years ago
3
Interpretation of Module Name
#9
greenTara
opened
11 years ago
0
Remove restriction on irregular sentences in extensions
#8
greenTara
opened
11 years ago
0
Less Complete
#7
greenTara
opened
11 years ago
0
Next