classical and new paradigms of compu...
| |
classical and new paradigms of computation and their complexity hierarchies
|
freedom and enforcement in action
| |
freedom and enforcement in action
|
toward predicate approaches to modality
| |
toward predicate approaches to modality
|
topological and algebraic structures...
| |
topological and algebraic structures in fuzzy sets :
|
adaptive logics for defeasible reasoning
| |
adaptive logics for defeasible reasoning
|
dialetheism and its applications
| |
dialetheism and its applications
|
logics and falsifications
| |
logics and falsifications
|
natural deduction, hybrid systems an...
| |
natural deduction, hybrid systems and modal logics
|
advances in proof-theoretic semantics
| |
advances in proof-theoretic semantics
|
towards mathematical philosophy
| |
towards mathematical philosophy
|
leniewski's systems of logic and fou...
| |
leniewski's systems of logic and foundations of mathematics
|
|
|
philosophy of syntax
|
logic for concurrency and synchronis...
| |
logic for concurrency and synchronisation
|
logic for concurrency and synchronis...
| |
logic for concurrency and synchronisation
|
constructive negations and paraconsi...
| |
constructive negations and paraconsistency
|
gentzen calculi for modal propositio...
| |
gentzen calculi for modal propositional logic
|
methods of cut-elimination
| |
methods of cut-elimination
|