1 problem

0 votes0 replies0 views
The plausible extension from Nelsonian validity to classical conditionality
Let $Th'$ be a theory in the empty-signature first-order language, $Th' subseteqmathcal{FO}^emptyset$ , such that … Here, $\mathcal{S}_c$ is the relevant Nelsonian semantic structur…
Problemopenconditional-logic first-order-logic non-classical-logicarXiv posted 2 days ago

The plausible extension from Nelsonian validity to classical conditionality