Adding an implication to logics of perfect paradefinite algebras | Mathematical Structures in Computer Science | Cambridge Core
Adding an implication to logics of perfect paradefinite algebras - Volume 34 Issue 10
This is finally coming fresh from the oven, open access:
"Adding an implication to logics of perfect paradefinite algebras"
Mathematical Structures in Computer Science , Volume 34(10): LSFA 2021 and LSFA 2022 , November 2024 , pp. 1138 - 1183
doi.org/10.1017/S096...
03.03.2025 14:55 — 👍 0 🔁 0 💬 0 📌 0
I made a starter pack of Logic folks
go.bsky.app/Q6NbAiN
19.11.2024 05:44 — 👍 43 🔁 15 💬 6 📌 0
Just another tired scientist
Enthusiastic self-learner of math, blogging about the subject at:
https://www.piecesofmathematics.com/
Glaswegian philosopher based at the University of Edinburgh, mostly working on issues in epistemology and feminist philosophy. Co-editor of Hypatia, research associate at ACEPS, University of Johannesburg. He/him. https://sites.google.com/site/aidanmcglynn
Philosophy of science and mathematics
Mathematician-Philosopher in training
Philosopher, physicist, mathematician / Chair of LPS @ UC Irvine / EiC of Philosophy of Science / Poultry enthusiast fancier / Irish Step Dancer
Academic at Gothenburg University. Mathematician. Late millennial.
Postdoc @ ILLC/UvA
Logic | Formal semantics | Theories of Truth & Truthmaking | HOL Light user
Support the Human Right To Science!
I teach philosophy at UT San Antonio.
professor of linguistics, cogsci, & slat (and affiliate faculty in philosophy) at @UArizona http://rhenderson.net :: language, logic, and machines :: co-founder of Maya Health Alliance | Wuqu' Kawoq http://wuqukawoq.org
Emeritus Professor of Philosophy, Georgetown University. Interests include logic, language, ethics, science.
PhD in philosophical logic, data analyst, baby writer
friendly neighbourhood Schopenhauerian • part time Proustian • associate professor @philoswarwick.bsky.social • author ‘Arthur Schopenhauer: The Life and Thought of Philosophy’s Greatest Pessimist’ @uchicagopress.bsky.social
Philosopher of logic, language snd math, and (whatever this amounts to) a committed deflationist.
Philosopher of logic and computation. Logician. Can apply infinitary inference rules without divine revelations.
Philosopher and logician at Old Dominion
Philosopher and logician, from Australia, now based at the University of St Andrews in Scotland.
I like thinking about—and helping other people think […]
[bridged from https://hcommons.social/@consequently on the fediverse by https://fed.brid.gy/ ]
