life and work of leon henkin
| |
life and work of leon henkin
|
logic -- language -- ontology
| |
logic -- language -- ontology
|
institution-independent model theory
| |
institution-independent model theory
|
language, logic, and mathematics in ...
| |
language, logic, and mathematics in schopenhauer
|
|
|
logical skills
|
towards an arithmetical logic
| |
towards an arithmetical logic
|
|
|
sequents and trees
|
around and beyond the square of oppo...
| |
around and beyond the square of opposition
|
modern logic 1850-1950, east and west
| |
modern logic 1850-1950, east and west
|
exoteric square of opposition
| |
exoteric square of opposition
|
universal logic, ethics, and truth
| |
universal logic, ethics, and truth
|
|
|
road to universal logic
|
completeness theory for propositiona...
| |
completeness theory for propositional logics
|
universal algebraic logic
| |
universal algebraic logic
|
|
|
kripke's worlds
|
|
|
logic in question
|
institution-independent model theory
| |
institution-independent model theory
|
decidability of logical theories and...
| |
decidability of logical theories and their combination
|
|
|
square of opposition
|