Language: English
Help
Login

Trends in logic ;

Titles

dual tableaux
dual tableaux
methods of cut-elimination
methods of cut-elimination
towards mathematical philosophy
towards mathematical philosophy
paradoxes
paradoxes
gentzen calculi for modal propositio...
gentzen calculi for modal propositional logic
advanced lukasiewicz calculus and mv...
advanced lukasiewicz calculus and mv-algebras
towards mathematical philosophy :
towards mathematical philosophy :
logic for concurrency and synchronis...
logic for concurrency and synchronisation
constructive negations and paraconsi...
constructive negations and paraconsistency
 
 
Change password
Login