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 paradoxes of set theory
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 Meaning of the Logical Constants and 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
On the Complexity of the Equational Theory of Relational Action
On the Complexity of Resolution-based Proof Systems
on the Complexity of Quantifier-Free Fixed-Size Bit-Vector
