Svejdar proof method for GL logic
[]p => p
examples
|
rules
|
syntax
|
info
|
home
|
download
Last Modified : 17-Dec-2021