On writing proofs
On Weak Ground
On two problems with the Theory of the Creating Subject
On the use of fuzzy stable models for inconsistent classical logic
On the structure of honest elementary degrees - FAU Math
On the strength of the finite intersection principle
On the specification of sequent systems
On the regular extension axiom and its variants
ON THE QUOTIENT STRUCTURE OF COMPUTABLY
On the Question of Absolute Undecidability
On the Notion of Coherence in Fuzzy Answer Set Semantics
On the Notion of Coherence in Fuzzy Answer Set Semantics
On the meanings of the logical constants and the justifications of the
On the Interpretation of Intuitionistic Logic
On the futility of criticizing the neoclassical maximization hypothesis
On the Finite Model Property in Order-Sorted Logic
On The Expressive Power of Three-Valued and Four
On the Expressive Power of QLTL⋆
On the existence of a connected component
On the Construction of Analytic Sequent Calculi for Sub
On the computational content of intuitionistic propositional proofs