logical studies of paraconsistent re...
| |
logical studies of paraconsistent reasoning in science and mathematics
|
|
|
inquisitive logic
|
|
|
metainferential logics
|
new directions in relevant logic
| |
new directions in relevant logic
|
|
|
descriptor revision
|
geometry of approximation
| |
geometry of approximation
|
recent trends in philosophical logic
| |
recent trends in philosophical logic
|
meaning and proscription in formal logic
| |
meaning and proscription in formal logic
|
model-theoretic approach to proof theory
| |
model-theoretic approach to proof theory
|
|
|
harmony and paradox
|
anaphora and type logical grammar
| |
anaphora and type logical grammar
|
method of socratic proofs
| |
method of socratic proofs
|
algebraic perspectives on substructu...
| |
algebraic perspectives on substructural logics
|
logical writings of karl popper
| |
logical writings of karl popper
|
|
|
logic in high definition
|
|
|
logic and implication
|
well-quasi orders in computation, lo...
| |
well-quasi orders in computation, logic, language and reasoning
|
logics of variable inclusion
| |
logics of variable inclusion
|
60 years of connexive logic
| |
60 years of connexive logic
|
foundations of the theory of parthood
| |
foundations of the theory of parthood
|