The following pages link to Reports on Mathematical Logic (Q4609352):
Displaying 32 items.
- Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning (Q4609353) (← links)
- A Non-Self-Referential Paradox in Epistemic Game Theory (Q4609354) (← links)
- A note of the full generalized models of the extensions of a logic (Q4609355) (← links)
- Categorical Abstract Algebraic Logic: Wojcicki's Conjecture and Malinowski's Theorem (Q4609356) (← links)
- Refutations in Wansing’s Logic (Q4609357) (← links)
- A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logic (Q4609358) (← links)
- Sets with no subsets of higher weak truth-table degree (Q4627721) (← links)
- On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic (Q4627723) (← links)
- A semantical analysis of cut-free calculi for modal logics (Q4627724) (← links)
- On PCF spaces which are not Frechet-Urysohn (Q4627725) (← links)
- A General Extension Theorem for Directed-Complete Partial Orders (Q4627726) (← links)
- A cut-free proof system for a predicate extension of the logic of provability (Q4627727) (← links)
- The *-Prikry condition (Q4627728) (← links)
- Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95 - 100 (Q5025703) (← links)
- A Model Theory for the Potential Infinite (Q5057115) (← links)
- Non-generators in extensions of infinitary algebras (Q5057116) (← links)
- A formal approach to Menger's theorem (Q5057117) (← links)
- Notes on the decidability of addition and the Frobenius map for polynomials and rational functions (Q5057119) (← links)
- A Maximality Theorem for Continuous First Order Theories (Q5057120) (← links)
- PBZ*-Lattices: Structure Theory and Subvarieties (Q5121957) (← links)
- Natural density and probability, constructively (Q5121958) (← links)
- Some Results on Polish Groups (Q5121959) (← links)
- On Rudimentarity, Primitive Recursivity and Representability (Q5121960) (← links)
- A New ω-Stable Plane (Q5121961) (← links)
- Locally ordered topological spaces (Q5121962) (← links)
- Corrigendum to “Sets with no subsets of higher weak truth-table degree”, Reports on Mathematical Logic, 53 (2018), 3–17 (Q5121963) (← links)
- Reductions between certain incidence problems and the continuum hypothesis (Q5213271) (← links)
- Invariant Universality for Projective Planes (Q6180689) (← links)
- Effective aspects of semiperfect rings (Q6657138) (← links)
- Perfect Hilbert algebras (Q6657139) (← links)
- Powers and limitations of Urquhart-style semantics I: basic substructural logics (Q6657140) (← links)
- A short way to directed Jónsson terms (Q6657141) (← links)
