on partially conservative sentences and interpretability
On not strengthening intuitionistic logic
On Natural Deduction in Classical First-Order Logic: Curry
On modal logics of group belief
ON LOVELY PAIRS OF GEOMETRIC STRUCTURES 1. Introduction
On Linear Inference
On interpretations of arithmetic and set theory
On Infinitely Nested Radicals
On Horn envelopes and hypergraph transversals
On Herbrand`s Theorem for Intuitionistic Logic
On Herbrand`s Theorem - UCSD Mathematics
On Gabbay`s temporal fixed point operator
On fuzzy semi-preopen sets and fuzzy semi
on fuzzy intuitionistic logic
On Equivalent Transformations of Infinitary Formulas under the
On Elkan`s theorems: Clarifying their meaning
On Dummett`s Pragmatist Justification Procedure
On Dimension Theory by Using Sets
On Decidability of Intuitionistic Modal Logics
On Countable Chains Having Decidable Monadic Theory.
