issues
search
Brandon-Rozek
/
matmod
Matrix Model Generator for Implicative Connectives
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Added ability to parse necessitation
#15
Brandon-Rozek
opened
1 day ago
1
Discard Order-Dependent Subalgebras
#14
Brandon-Rozek
opened
1 day ago
1
Handle fragments without negation
#13
Brandon-Rozek
closed
1 day ago
0
Handle Fragments without Negation
#12
Brandon-Rozek
closed
1 day ago
0
Discard models with only one designated value
#11
Brandon-Rozek
closed
1 day ago
0
Discard subalgebras with bottom/top
#10
Brandon-Rozek
opened
2 days ago
0
Discard Subalgebras with top/bottom elements
#9
Brandon-Rozek
opened
2 days ago
2
Match Numbering Scheme to Magics
#8
Brandon-Rozek
closed
3 months ago
1
Discard models with a single designated value
#7
Brandon-Rozek
closed
1 day ago
1
Parsing as regular decimal integers instead of hexadecimal.
#6
Brandon-Rozek
closed
3 months ago
0
Parse Error on Larger Matrices
#5
Brandon-Rozek
closed
3 months ago
0
Support Custom Connectives
#4
Brandon-Rozek
opened
3 months ago
1
Handle necessitation and possibility
#3
Brandon-Rozek
opened
3 months ago
0
Consider other Variable Sharing Properties
#2
Brandon-Rozek
opened
3 months ago
0