From Excluded Middle to Homogenization in Plumwood’s Feminist Critique of Logic

Ferguson, T.
Australasian Journal of Logic. Roč. 20, č. 2 (2023), s. 243-277

Subject-Matter and Intensional Operators II

Ferguson, T.
Journal of Philosophical Logic. Roč. 52, č. 6 (2023), s. 1673-1701.

Logic as a Science of Patterns?

Peregrin, J.
Journal of Philosophy 121, 2024, 5-25

The proof-theoretic square

d’Aragona, A.P.
Synthese 201, 219 (2023)

Spiritus Asper versus Lambda: On the Nature of Functional Abstraction

Klev, A.
Notre Dame J. Formal Logic 64 (2) 205 - 223, May 2023.

THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)

McCarty, C., Shapiro, S. and Klev, A.
Bulletin of Symbolic Logic, 29(1), 2023, 71-96.

Identity in Martin-Löf type theory

Klev, A.
Identity in Martin-Löf type theory. Philosophy Compass, 17(2), e12805. 2021.

Relevant epistemic logic with public announcements and common knowledge

Vít Punčochář, Igor Sedlár, Andrew Tedder
Journal of Logic and Computation, Volume 33, Issue 2, March 2023, Pages 436–461, https://doi.org/10.

A 0-1 Law in Mathematical Fuzzy Logic

Badia, G. & Noguera, C.
IEEE Transactions on Fuzzy Systems 30 (9), pp. 3833-3840, 2022.

Iterated team semantics for a hierarchy of informational types

Punčochář, V.
Annals of Pure and Applied Logic Volume 173 (10), 2022, 103156