Exact(1)
One result, in 2001, was "Logic of the Birds".
Similar(59)
DLs are logics of programs, and permit to talk and reason about states of affairs, processes, changes, and results.
That was the logic of their being together.
The first is to add abductive logic - which is the logic of what might be - to the conventional reasoning tools of deductive logic (the logic of 'what must be') and inductive logic (the logic of 'what is operative').
That's the logic of deterrence, isn't it?
And it's unamerican". It's the logic of kings.
It was the logic of invention.
In this sense intuitionistic logic is "internalized" in a topos: intuitionistic logic is the logic of variable sets.
(By contrast, Aristotle's logic had been a logic of terms, where subject and predicate terms were in principle interchangeable).
That's the logic of kin selection.
It's the logic of the visual.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com