The following pages link to Reinhard A. Muskens (Q2350969):
Displaying 20 items.
- (Q230806) (redirect page) (← links)
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- A Gentzen calculus for nothing but the truth (Q312499) (← links)
- On partial and paraconsistent logics (Q701297) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- Interpolation in 16-valued trilattice logics (Q1744000) (← links)
- From bi-facial truth to bi-facial proofs (Q2350970) (← links)
- Context Update for Lambdas and Vectors (Q2964008) (← links)
- A Theory of Names and True Intensionality (Q3168606) (← links)
- Intensional models for the theory of types (Q3426565) (← links)
- A relational formulation of the theory of types (Q3824291) (← links)
- (Q3972202) (← links)
- (Q4244314) (← links)
- (Q4287510) (← links)
- (Q4295881) (← links)
- (Q4552515) (← links)
- (Q4925873) (← links)
- An Analytic Tableau System for Natural Logic (Q4933251) (← links)
- Talking about trees and truth-conditions (Q5956114) (← links)
- Computing the semantic information in an utterance (Q6547623) (← links)