The following pages link to Allen P. Hazen (Q1632056):
Displayed 31 items.
- Item:Q1632056 (redirect page) (← links)
- On the ternary relation and conditionality (Q452358) (← links)
- Relevant restricted quantification (Q853811) (← links)
- Item:Q1632056 (redirect page) (← links)
- Davis's formulation of Kripke's theory of truth: A correction (Q1153884) (← links)
- Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order (Q1187538) (← links)
- The eliminability of the actuality operator in propositional modal logic (Q1220491) (← links)
- Expressive completeness in modal language (Q1233866) (← links)
- Relations in monadic third-order logic (Q1372940) (← links)
- Similarity relations and the preservation of solidity (Q1424967) (← links)
- Pecularities of some three- and four-valued second order logics (Q1632057) (← links)
- Second-order logic of paradox (Q1633895) (← links)
- On quantifying out (Q1896783) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- When is a schema not a schema? On a remark by Suszko (Q2307299) (← links)
- Actuality in propositional modal logic (Q2377050) (← links)
- Semantics for S4.2 (Q2550726) (← links)
- Actuality and quantification (Q2640589) (← links)
- (Q2776065) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- (Q3864489) (← links)
- (Q4342091) (← links)
- Relations in Lewis's framework without atoms (Q4497433) (← links)
- Nominalism and Abstract Entities (Q4497470) (← links)
- Correction (Q4497562) (← links)
- Worlds as complete novels (Q4497582) (← links)
- Is Even Minimal Negation Constructive? (Q4497600) (← links)
- A Variation on a Paradox (Q4497668) (← links)
- (Q4663849) (← links)
- Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics (Q5027251) (← links)
- Predicative logic and formal arithmetic (Q5937804) (← links)