issues
search
rzach
/
multlog
M. Ultlog, the genius many-valued logic expert
https://logic.at/multlog
7
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add itemize to doc, fix installation script (run pdflatex three times)
#20
gsalzer
closed
2 months ago
1
Improve isIso testing
#19
rzach
opened
3 years ago
1
Improve isCong congruence testing
#18
rzach
opened
3 years ago
1
Representation and generation of terms
#17
rzach
closed
3 years ago
8
Generalize to sets as signs
#16
rzach
opened
3 years ago
2
Natural deduction rules for quantifiers broken?
#15
rzach
closed
3 years ago
0
Interactive mode to explore logics
#14
rzach
opened
3 years ago
2
Comment stripping from .cfg is broken
#13
rzach
opened
3 years ago
1
Out of global stack
#12
rzach
closed
2 months ago
4
Listing should strip comments from cfg file as well
#11
rzach
closed
3 years ago
1
Minor changes in formatting
#10
gsalzer
closed
3 years ago
0
Fix for issue #1
#9
gsalzer
closed
3 years ago
0
Full sequent format
#8
rzach
closed
3 years ago
1
Add abbreviation for logic
#7
rzach
opened
3 years ago
1
Present truth tables for quantifiers in a more compact way
#6
rzach
opened
3 years ago
2
Allow more ways to define operators
#5
rzach
opened
3 years ago
0
Add more detail to definitions of operators
#4
rzach
opened
3 years ago
0
Inductive definition of formulas is empty
#3
rzach
closed
3 years ago
0
doc/README.md contains placeholders instead of version numbers
#2
gsalzer
closed
3 years ago
1
SIXTEEN gives not complete error
#1
rzach
closed
3 years ago
10