issues
search
ndslusarz
/
formal_LDL
MIT License
3
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Renaming
#29
ndslusarz
closed
4 months ago
0
Choose a licence
#28
hoheinzollern
closed
7 months ago
2
Link to arXiv once the paper is pushed
#27
hoheinzollern
opened
7 months ago
0
Rename `translation` to `fuzzy_translation`
#26
hoheinzollern
opened
7 months ago
0
Add useful notation
#25
hoheinzollern
opened
7 months ago
0
Better disjunction for DL2
#24
hoheinzollern
opened
7 months ago
0
Geometric properties
#23
hoheinzollern
opened
7 months ago
0
Marge shadow-lifting
#22
ndslusarz
closed
7 months ago
0
Suggestion for cleaning up the repository
#21
hoheinzollern
closed
8 months ago
0
Test mathcomp 1
#20
affeldt-aist
closed
8 months ago
0
merging n-ary into more recent working branch
#19
ndslusarz
closed
9 months ago
0
N ary and or
#18
ndslusarz
closed
9 months ago
0
first admit inline
#17
affeldt-aist
closed
10 months ago
0
Proposed formalization of DL2 and STL in unified language (Work in progress)
#16
hoheinzollern
closed
1 year ago
0
Proof of soundness for Godel and product translations + vector lookups
#15
hoheinzollern
closed
1 year ago
0
Product dl
#14
ndslusarz
closed
1 year ago
0
format, indent
#13
affeldt-aist
closed
1 year ago
0
Yager assoc
#12
hoheinzollern
closed
1 year ago
0
Define an interface for T-norms
#11
hoheinzollern
opened
1 year ago
0
operator precedence
#10
hoheinzollern
closed
1 year ago
0
Associativity of logical operators for Yager
#9
hoheinzollern
closed
1 year ago
0
tentative precedence level
#8
affeldt-aist
closed
1 year ago
1
added Godel and its proofs
#7
ndslusarz
closed
1 year ago
0
simplified lemmas
#6
hoheinzollern
closed
1 year ago
0
Assoc and 01
#5
ndslusarz
closed
1 year ago
0
Adding Yager translation
#4
hoheinzollern
closed
1 year ago
0
Introduced notation for the translation and removed some redundant ca…
#3
hoheinzollern
closed
1 year ago
0
sketch proof for assoc
#2
affeldt-aist
closed
1 year ago
0
use as return
#1
affeldt-aist
closed
1 year ago
0