Skip to content

Instantly share code, notes, and snippets.

@patham9

patham9/additional

Created May 13, 2016 00:04
Show Gist options
  • Save patham9/90f6593d644e8c6b5e68a4dc73284039 to your computer and use it in GitHub Desktop.
Save patham9/90f6593d644e8c6b5e68a4dc73284039 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
additional
(A =/> B), A |- ((B,A) --> imp_after), (Truth:Identity)
(A =/> B), B |- ((B,A) --> imp_after), (Truth:Identity)
(A =\> B), A |- ((B,A) --> imp_before), (Truth:Identity)
(A =\> B), B |- ((B,A) --> imp_before), (Truth:Identity)
(A =|> B), A |- ((B,A) --> imp_concurrent), (Truth:Identity)
(A =|> B), B |- ((B,A) --> imp_concurrent), (Truth:Identity)
((B,A) --> imp_concurrent), A |- (A =|> B), (Truth:Identity)
((B,A) --> imp_concurrent), B |- (A =|> B), (Truth:Identity)
(A ==> B), A |- ((B,A) --> imp_orderless), (Truth:Identity)
(A ==> B), B |- ((B,A) --> imp_orderless), (Truth:Identity)
((B,A) --> imp_orderless), A |- (A ==> B), (Truth:Identity)
((B,A) --> imp_orderless), B |- (A ==> B), (Truth:Identity)
(A <|> B), A |- ((B,A) --> eq_concurrent), (Truth:Identity)
(A <|> B), B |- ((B,A) --> eq_concurrent), (Truth:Identity)
((B,A) --> eq_concurrent), A |- (A <|> B), (Truth:Identity)
((B,A) --> eq_concurrent), B |- (A <|> B), (Truth:Identity)
(A </> B), A |- ((B,A) --> eq_after), (Truth:Identity)
(A </> B), B |- ((B,A) --> eq_after), (Truth:Identity)
(A <=> B), A |- ((B,A) --> eq_orderless), (Truth:Identity)
(A <=> B), B |- ((B,A) --> eq_orderless), (Truth:Identity)
((B,A) --> eq_orderless), A |- (A <=> B), (Truth:Identity)
((B,A) --> eq_orderless), B |- (A <=> B), (Truth:Identity)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment