Propositions as Types

Proposition, Nineteen Propositions, List of California ballot propositions, 2008 California Propositions 98 and 99, List of California ballot propositions: 2020–2029, Propositions (album), 2008 California Propositions 94, 95, 96, and 97, List of Arizona ballot propositions, List of California ballot propositions: 2000–2009, List of California ballot propositions: 2010–2019, 110 Propositions for France, Categorical proposition, Probabilistic proposition, List of California ballot propositions: 1990–1999, California ballot proposition, Propositional logic, Propositional formula, List of California ballot propositions: 1970–1979, Propositional variable, List of California ballot propositions: 1980–1989, Proposition (disambiguation), 2009 California Proposition 1F, Proposition 203, Propositional attitude, California Proposition 1A, On Formally Undecidable Propositions of Principia Mathematica and Related Systems, 2009 California Proposition 1D, 2012 California Proposition 28, California Proposition 14, 2009 California Proposition 1E, 2009 California Proposition 1C, Proposition 17, 2018 California Proposition 12, 2009 California Proposition 1B, 1988 California Proposition 90, 2022 California Proposition 30, 2022 California Proposition 27, 2005 California special election, 2018 California Proposition 68, 2004 California Proposition 57, 1986 California Proposition 63

2006 Arizona Proposition 107, 1994 California Proposition 187, Value proposition, 1996 California Proposition 218, 2004 California Proposition 58, 2002 California Proposition 49, 1986 California Proposition 60, 1996 California Proposition 209, 2004 California Proposition 60A, 2004 California Proposition 62, California Proposition 13, 2012 California Proposition 39, 2018 California Proposition 7, 2002 California Proposition 50, Self-evidence, 2004 California Proposition 65, 2022 California Proposition 1, 2010 California Proposition 20, 2004 California Proposition 1A, 2008 Arizona Proposition 102, 2008 California Proposition 10, 2016 California Proposition 60, 1958 California Proposition 18, Customer value proposition, 2004 California Proposition 60, 2010 Arizona Proposition 203, 2009 California Proposition 1A, 2008 California Proposition 6, 1964 California Proposition 14, 2012 California Proposition 30, 2006 Arizona Proposition 207, 1978 California Proposition 6, 1986 California Proposition 64, 2005 California Proposition 74, 8: The Mormon Proposition, 1978 California Proposition 13, 2008 California Proposition 8, 2010 California Proposition 16, 2018 California Proposition 6, 2012 California Proposition 32, 2014 California Proposition 47, 2008 California Proposition 5, June 2010 California elections, Propositional representation, 2016 California Proposition 67, Protests against Proposition 8 supporters, 2012 California Proposition 36, 2012 California Proposition 37, 2008 California Proposition 7, Analytic–synthetic distinction

Proposition, Nineteen Propositions, List of California ballot propositions, 2008 California Propositions 98 and 99, List of California ballot propositions: 2020–2029, Propositions (album), 2008 California Propositions 94, 95, 96, and 97, List of Arizona ballot propositions, List of California ballot propositions: 2000–2009, List of California ballot propositions: 2010–2019, 110 Propositions for France, Categorical proposition, Probabilistic proposition, List of California ballot propositions: 1990–1999, California ballot proposition, Propositional logic, Propositional formula, List of California ballot propositions: 1970–1979, Propositional variable, List of California ballot propositions: 1980–1989, Proposition (disambiguation), 2009 California Proposition 1F, Proposition 203, Propositional attitude, California Proposition 1A, On Formally Undecidable Propositions of Principia Mathematica and Related Systems, 2009 California Proposition 1D, 2012 California Proposition 28, California Proposition 14, 2009 California Proposition 1E, 2009 California Proposition 1C, Proposition 17, 2018 California Proposition 12, 2009 California Proposition 1B, 1988 California Proposition 90, 2022 California Proposition 30, 2022 California Proposition 27, 2005 California special election, 2018 California Proposition 68, 2004 California Proposition 57, 1986 California Proposition 63, 2006 Arizona Proposition 107, 1994 California Proposition 187, Value proposition, 1996 California Proposition 218, 2004 California Proposition 58, 2002 California Proposition 49, 1986 California Proposition 60, 1996 California Proposition 209, 2004 California Proposition 60A, 2004 California Proposition 62, California Proposition 13, 2012 California Proposition 39, 2018 California Proposition 7, 2002 California Proposition 50, Self-evidence, 2004 California Proposition 65, 2022 California Proposition 1, 2010 California Proposition 20, 2004 California Proposition 1A, 2008 Arizona Proposition 102, 2008 California Proposition 10, 2016 California Proposition 60, 1958 California Proposition 18, Customer value proposition, 2004 California Proposition 60, 2010 Arizona Proposition 203, 2009 California Proposition 1A, 2008 California Proposition 6, 1964 California Proposition 14, 2012 California Proposition 30, 2006 Arizona Proposition 207, 1978 California Proposition 6, 1986 California Proposition 64, 2005 California Proposition 74, 8: The Mormon Proposition, 1978 California Proposition 13, 2008 California Proposition 8, 2010 California Proposition 16, 2018 California Proposition 6, 2012 California Proposition 32, 2014 California Proposition 47, 2008 California Proposition 5, June 2010 California elections, Propositional representation, 2016 California Proposition 67, Protests against Proposition 8 supporters, 2012 California Proposition 36, 2012 California Proposition 37, 2008 California Proposition 7, Analytic–synthetic distinction, 1998 California Proposition 227, 2000 California Proposition 39, 2006 California elections, 2016 California Proposition 57, 2000 California Proposition 36, Policy-ineffectiveness proposition, 2006 California Proposition 82, 1998 California elections, 1980 Massachusetts Proposition 2½, 2016 California Proposition 64, Propositional proof system, 2020 California Proposition 15, 2006 Arizona Proposition 204, 2020 California Proposition 14, 2008 California Proposition 1A, Propositional function, 2006 California Proposition 89, 1972 California Proposition 19, 1978 California Proposition 8, 2004 Arizona Proposition 200, Proposition Infinity, California Proposition 99, 2021 Texas constitutional amendment election, 2012 California Proposition 34, 1996 California Proposition 215, California Proposition 16, 2006 California Proposition 87, 1998 California Proposition 10, Unique selling proposition, California Proposition 6, 2005 San Francisco Proposition I, 1996 California Proposition 218 (Local Initiative Power), Proposition 7, 2012 California Proposition 31, 2016 California Proposition 65, 2008 California Proposition 91, Proposition 8 (disambiguation), 2010 California Proposition 27, 2000 California Proposition 21, Trivialism, 2012 California Proposition 38, The Proposition (soundtrack), California Proposition 4, 2016 California Proposition 56, Proposition 2, 2016 California Proposition 59, 2006 California Proposition 85, The Proposition (Leyster), 2008 California Proposition 2, 2008 California Proposition 3, 2018 California Proposition 69, 2008 California Proposition 12, Atomic sentence, 2012 California Proposition 29, California Proposition 20, Proposition 57, 2010 Arizona Proposition 100, 2016 California Proposition 61, Proposition 48, 2016 California Proposition 58